LEADER 03777nam  22007815  450 
001 996205181403316
005 20230619180521.0
010   $a3-642-54013-9
024 7 $a10.1007/978-3-642-54013-4
035   $a(CKB)3710000000085823
035   $a(DE-He213)978-3-642-54013-4
035   $a(SSID)ssj0001187621
035   $a(PQKBManifestationID)11673378
035   $a(PQKBTitleCode)TC0001187621
035   $a(PQKBWorkID)11271024
035   $a(PQKB)10697537
035   $a(MiAaPQ)EBC3093427
035   $a(PPN)176118470
035   $a(EXLCZ)993710000000085823
100   $a20140103d2014      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aVerification, Model Checking, and Abstract Interpretation$b[electronic resource] $e15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /$fedited by Kenneth McMillan, Xavier Rival
205   $a1st ed. 2014.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014.
215   $a1 online resource (XVIII, 493 p. 120 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8318
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-54012-0 
320   $aIncludes bibliographical references and author index.
327   $aProgram 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.
330   $aThis book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of 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 ;$v8318
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.14
702   $aMcMillan$b Kenneth$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRival$b Xavier$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996205181403316
996   $aVerification, Model Checking, and Abstract Interpretation$92593983
997   $aUNISA