LEADER 03707nam  22007815  450 
001 9910484852503321
005 20230329222225.0
010   $a3-662-49122-2
024 7 $a10.1007/978-3-662-49122-5
035   $a(CKB)3780000000093487
035   $a(SSID)ssj0001599583
035   $a(PQKBManifestationID)16306104
035   $a(PQKBTitleCode)TC0001599583
035   $a(PQKBWorkID)14892189
035   $a(PQKB)10495754
035   $a(DE-He213)978-3-662-49122-5
035   $a(MiAaPQ)EBC5578758
035   $a(PPN)190884940
035   $a(EXLCZ)993780000000093487
100   $a20151224d2016      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aVerification, Model Checking, and Abstract Interpretation $e17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /$fedited by Barbara Jobstmann, K. Rustan M. Leino
205   $a1st ed. 2016.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2016.
215   $a1 online resource (XIII, 558 p. 123 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9583
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-662-49121-4 
320   $aIncludes bibliographic references and index.
327   $aAbstract Interpretation -- Abstraction -- Hybrid and Timed Systems -- Dynamic and Static Verification -- Probabilistic Systems -- Concurrent Programs -- Parameterized and Component-Based Systems -- Solver Improvements.
330   $aThis book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9583
606   $aComputer science
606   $aSoftware engineering
606   $aComputer networks
606   $aMachine theory
606   $aCompilers (Computer programs)
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aComputer Communication Networks
606   $aFormal Languages and Automata Theory
606   $aTheory of Computation
606   $aCompilers and Interpreters
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aComputer networks.
615  0$aMachine theory.
615  0$aCompilers (Computer programs).
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aComputer Communication Networks.
615 24$aFormal Languages and Automata Theory.
615 24$aTheory of Computation.
615 24$aCompilers and Interpreters.
676   $a005.14
702   $aJobstmann$b Barbara$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLeino$b K. Rustan M$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484852503321
996   $aVerification, Model Checking, and Abstract Interpretation$92593983
997   $aUNINA