LEADER 03260nam  22007815  450 
001 9910483128603321
005 20251226195839.0
010   $a3-642-39277-6
024 7 $a10.1007/978-3-642-39277-1
035   $a(CKB)3710000000015872
035   $a(SSID)ssj0000988294
035   $a(PQKBManifestationID)11636929
035   $a(PQKBTitleCode)TC0000988294
035   $a(PQKBWorkID)10950996
035   $a(PQKB)11084362
035   $a(DE-He213)978-3-642-39277-1
035   $a(MiAaPQ)EBC3101115
035   $a(PPN)172427991
035   $a(EXLCZ)993710000000015872
100   $a20130804d2013      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aStructured Object-Oriented Formal Language and Method $eSecond International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /$fedited by Shaoying Liu
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (X, 149 p. 83 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7787
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-642-39276-8 
327   $aTesting and tools -- Tools for specification -- Model checking -- Application and prototyping.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7787
606   $aComputer science
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aMachine theory
606   $aComputer programming
606   $aComputer networks
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aFormal Languages and Automata Theory
606   $aProgramming Techniques
606   $aComputer Communication Networks
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aMachine theory.
615  0$aComputer programming.
615  0$aComputer networks.
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.
615 24$aProgramming Techniques.
615 24$aComputer Communication Networks.
676   $a004.0151
702   $aLiu$b Shaoying$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483128603321
996   $aStructured Object-Oriented Formal Language and Method$93084063
997   $aUNINA