LEADER 03537nam  22007455  450 
001 996465985703316
005 20230329220458.0
010   $a3-642-35873-X
024 7 $a10.1007/978-3-642-35873-9
035   $a(CKB)3400000000102966
035   $a(SSID)ssj0000880087
035   $a(PQKBManifestationID)11454281
035   $a(PQKBTitleCode)TC0000880087
035   $a(PQKBWorkID)10873714
035   $a(PQKB)10644210
035   $a(DE-He213)978-3-642-35873-9
035   $a(MiAaPQ)EBC3068799
035   $a(PPN)168329476
035   $a(EXLCZ)993400000000102966
100   $a20130107d2013      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aVerification, Model Checking, and Abstract Interpretation$b[electronic resource] $e14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings /$fedited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XI, 556 p. 123 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7737
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-35872-1 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7737
606   $aComputer science
606   $aSoftware engineering
606   $aComputer networks
606   $aMachine theory
606   $aArtificial intelligence
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   $aArtificial Intelligence
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aComputer networks.
615  0$aMachine theory.
615  0$aArtificial intelligence.
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$aArtificial Intelligence.
676   $a005.1015113
702   $aGiacobazzi$b Roberto$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBerdine$b Josh$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMastroeni$b Isabella$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465985703316
996   $aVerification, Model Checking, and Abstract Interpretation$92593983
997   $aUNISA