LEADER 03208nam  22007335  450 
001 9910484718403321
005 20251226195301.0
010   $a3-319-31220-0
024 7 $a10.1007/978-3-319-31220-0
035   $a(CKB)3710000000627357
035   $a(SSID)ssj0001661019
035   $a(PQKBManifestationID)16441600
035   $a(PQKBTitleCode)TC0001661019
035   $a(PQKBWorkID)14989630
035   $a(PQKB)11746831
035   $a(DE-He213)978-3-319-31220-0
035   $a(MiAaPQ)EBC6303166
035   $a(MiAaPQ)EBC5595317
035   $a(Au-PeEL)EBL5595317
035   $a(OCoLC)945922177
035   $a(PPN)192771914
035   $a(EXLCZ)993710000000627357
100   $a20160330d2016      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aStructured Object-Oriented Formal Language and Method $e5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /$fedited by Shaoying Liu, Zhenhua Duan
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (VIII, 219 p. 90 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9559
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-319-31219-7 
327   $aModeling and Specification -- Testing and Debugging -- Model Checking and Verification -- Algorithm and Transformation.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9559
606   $aComputer science
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aMachine theory
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aFormal Languages and Automata Theory
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aMachine theory.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aFormal Languages and Automata Theory.
676   $a005.13
702   $aLiu$b Shaoying$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aDuan$b Zhenhua$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484718403321
996   $aStructured Object-Oriented Formal Language and Method$93084063
997   $aUNINA