LEADER 02787nam  22006255  450 
001 996465491603316
005 20230330052212.0
010   $a3-642-31759-6
024 7 $a10.1007/978-3-642-31759-0
035   $a(CKB)3400000000085774
035   $a(SSID)ssj0000746046
035   $a(PQKBManifestationID)11433192
035   $a(PQKBTitleCode)TC0000746046
035   $a(PQKBWorkID)10860380
035   $a(PQKB)10096520
035   $a(DE-He213)978-3-642-31759-0
035   $a(MiAaPQ)EBC3070493
035   $a(PPN)168320258
035   $a(EXLCZ)993400000000085774
100   $a20120718d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aModel Checking Software$b[electronic resource] $e19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings /$fedited by Alastair Donaldson, David Parker
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (X, 261 p. 85 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7385
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-31758-8 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7385
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer science
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aComputer Science Logic and Foundations of Programming
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aComputer Science Logic and Foundations of Programming.
676   $a005.3028/7
702   $aDonaldson$b Alastair$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aParker$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational SPIN Workshop
906   $aBOOK
912   $a996465491603316
996   $aModel Checking Software$9771961
997   $aUNISA