.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Verification, Model Checking, and Abstract Interpretation
. Ed(S): D'Souza, Deepak; Lal, Akash; Larsen, Kim Gulstrand
€ 68.41
FREE Delivery in Ireland
Description for Verification, Model Checking, and Abstract Interpretation
Paperback. Editor(s): D'Souza, Deepak; Lal, Akash; Larsen, Kim Gulstrand. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 486 pages. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 741.
This 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.
This 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.
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
486
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
468
Place of Publication
Berlin, Germany
ISBN
9783662460801
SKU
V9783662460801
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Verification, Model Checking, and Abstract Interpretation