Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Verification, Model Checking, and Abstract Interpretation
Best Price (Coupon Required):
Buy Verification, Model Checking, and Abstract Interpretation for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This 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.
Reviews
Questions & Answers
Crazing in Polymers
$39.99
Industry 4.0: Trends in Management of Intelligent Manufacturing Systems
$139.99
Principles of Solidification
$129.99
Advances in Computing and Control
$39.99
Notch Signaling
$84.99
Wealth(s) and Subjective Well-Being
$119.00
Inclusive Growth and Development in India
$109.99
Architekturpsychologie Perspektiven
$44.99
Mastering Anxiety
$54.99
Immunologic Approaches to the Classification and Management of Lymphomas and Leukemias
$219.99
The Biodemography of Human Reproduction and Fertility
$84.99
Carl Friedrich von Weizscker: Pioneer of Physics, Philosophy, Religion, Politics and Peace Research
$54.99
Modeling and Simulation Environment for Satellite and Terrestrial Communications Networks
$84.99
Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperatio
$109.99
Automotive Systems Engineering
$199.99
Regional Renaissance
$169.99
Practical Approaches to Earthquake Prediction and Warning
$219.99
Beitrge zur Kennzeichnung und analytischen Untersuchung von Trink-, Brauch- und Abwasser
$74.99
Go Away, Unicorn: Doggone Magic!
$4.49
Der Proze polizeilicher Entscheidungsfindung
$59.99
Berufskrebs und Krebsforschung. Die Situation der Krebsforschung vom Standpunkt der Klinik
$59.99
Spezielle und allgemeine Relativittstheorie
$39.99
Flexible Investitions- und Finanzierungspolitik
$59.99
Social Marketing in Action
$129.99
Zymography
$169.99
Advances in Information Retrieval
$109.99
Thermal Flows in Porous Media
$84.99
Progress in Nano-Electro-Optics VI
$109.99
Elemente der Achten Nebengruppe
$59.99
From Varying Couplings to Fundamental Physics
$189.00
The Integral Equations of the Theory of Elasticity
$39.99
Schwarze Lcher im All
$69.99
Technology Development for Security Practitioners
$109.99
Microelectronic Packaging
$109.99
Architecting Dependable Systems VI
$39.99
Histologie
$54.99
Nonlinear Principal Component Analysis and Its Applications
$64.99
Atlas of Posterior Fundus Changes in Pathologic Myopia
$39.99
Strukturdynamik
$54.99
Allgemeines zur Pharmakologie der Metalle Eisen Mangan Kobalt Nickel
$69.99
