LEADER 03686nam  22007815  450 
001 9910483191203321
005 20251226202148.0
010   $a3-662-46081-5
024 7 $a10.1007/978-3-662-46081-8
035   $a(CKB)3710000000325125
035   $a(SSID)ssj0001408440
035   $a(PQKBManifestationID)11815374
035   $a(PQKBTitleCode)TC0001408440
035   $a(PQKBWorkID)11346809
035   $a(PQKB)11017220
035   $a(DE-He213)978-3-662-46081-8
035   $a(MiAaPQ)EBC5576407
035   $a(PPN)183152654
035   $a(EXLCZ)993710000000325125
100   $a20141211d2015      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aVerification, Model Checking, and Abstract Interpretation $e16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings /$fedited by Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen
205   $a1st ed. 2015.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2015.
215   $a1 online resource (XVIII, 468 p. 102 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8931
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-662-46080-7 
327   $aProgram verification -- Model checking -- Abstract interpretation -- Abstract domains -- Program synthesis -- Static analysis -- Deductive methods -- Program certification -- Error diagnosis -- Program transformation.- Hybrid and cyberphysical systems.
330   $aThis book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8931
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   $aD'Souza$b Deepak$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLal$b Akash$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLarsen$b Kim Guldstrand$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483191203321
996   $aVerification, Model Checking, and Abstract Interpretation$92593983
997   $aUNINA