LEADER 03710nam  22007455  450 
001 9910349263503321
005 20230221045127.0
010   $a3-319-73721-X
024 7 $a10.1007/978-3-319-73721-8
035   $a(CKB)4100000001381797
035   $a(DE-He213)978-3-319-73721-8
035   $a(MiAaPQ)EBC6303801
035   $a(MiAaPQ)EBC5577230
035   $a(Au-PeEL)EBL5577230
035   $a(OCoLC)1019682935
035   $a(PPN)223955345
035   $a(EXLCZ)994100000001381797
100   $a20171228d2018      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 $e19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /$fedited by Isil Dillig, Jens Palsberg
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XVIII, 540 p. 103 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10747
300   $aIncludes Index.
311   $a3-319-73720-1 
327   $aProgram verification -- Model checking -- Abstract interpretation -- Program synthesis -- Static analysis -- Type systems -- Deductive methods -- Program certification -- Decision procedures -- Theorem proving -- Program certification -- Debugging techniques -- Program transformation -- Optimization -- Hybrid and cyber-physical systems.
330   $aThis book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018. The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial  were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10747
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   $aDillig$b Isil$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPalsberg$b Jens$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349263503321
996   $aVerification, Model Checking, and Abstract Interpretation$92593983
997   $aUNINA