Coverart for item
The Resource Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers, Shaoying Liu, Zhenhua Duan (eds.), (electronic book)

Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers, Shaoying Liu, Zhenhua Duan (eds.), (electronic book)

Label
Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers
Title
Structured object-oriented formal language and method
Title remainder
5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers
Statement of responsibility
Shaoying Liu, Zhenhua Duan (eds.)
Title variation
SOFL+MSVL 2015
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions. The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm
Member of
Cataloging source
GW5XE
Dewey number
005.1015113
Illustrations
illustrations
Index
index present
LC call number
QA76.9.L63
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2015
http://bibfra.me/vocab/lite/meetingName
SOFL+MSVL (Workshop)
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
1960-
http://library.link/vocab/relatedWorkOrContributorName
  • Liu, Shaoying
  • Duan, Zhenhua
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
9559
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Object-oriented methods (Computer science)
Label
Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers, Shaoying Liu, Zhenhua Duan (eds.), (electronic book)
Instantiates
Publication
Note
Includes author index
Antecedent source
unknown
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Modeling and Specification -- Testing and Debugging -- Model Checking and Verification -- Algorithm and Transformation
Control code
SPR945922177
Dimensions
unknown
Extent
1 online resource (viii, 219 pages)
File format
unknown
Form of item
online
Isbn
9783319312200
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
Label
Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers, Shaoying Liu, Zhenhua Duan (eds.), (electronic book)
Publication
Note
Includes author index
Antecedent source
unknown
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Modeling and Specification -- Testing and Debugging -- Model Checking and Verification -- Algorithm and Transformation
Control code
SPR945922177
Dimensions
unknown
Extent
1 online resource (viii, 219 pages)
File format
unknown
Form of item
online
Isbn
9783319312200
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote

Library Locations

Processing Feedback ...