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 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019. The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 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
Multi-Agent-Based Simulation XI
$39.99
Bringing Ecologists and Economists Together
$169.99
Membranes and Sensory Transduction
$39.99
Alma's Way: Level 2 Reader: Junior's Lost Tooth
$4.49
The Philosophical Novel as a Literary Genre
$89.00
The Baboon in Biomedical Research
$129.00
Integration von Kundenaktivitten in das Blueprinting von Dienstleistungsprozessen
$59.99
Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems
$109.99
Assistive Technologien, technische Rehabilitation und Untersttzte Kommunikation
$119.99
Pathologie, Diagnostik und Therapie der Leberkrankheiten
$59.99
9. Tagung Diesel- und Benzindirekteinspritzung 2014
$139.99
Chemical Microbiology: An Introduction to Microbial Physiology
$169.99
Climate Change, Natural Resources and Sustainable Environmental Management
$349.00
Contemporary Fictions of Multiculturalism
$109.99
Source and Channel Coding
$169.99
Drosophila melanogaster, Drosophila simulans: So Similar, So Different
$169.99
Carcinoma of the Oral Cavity and Oropharynx
$84.99
Neurology
$54.99
Smart Cities
$59.99
Robotic Process Automation using UiPath StudioX
$64.99
Grundlagen und Anwendungen der Maxwellschen Theorie II
$49.99
Learning at the Crossroads of Theory and Practice
$109.99
Gains from Global Linkages
$109.99
Wirtschaftspolitik und Regierungssystem der Bundesrepublik Deutschland
$59.99
Motornahe Abgaskhlung und Restwrmenutzung bei Ottomotoren
$79.99
Search for the Standard Model Higgs Boson in the H ZZ l + l - qq Decay Channel at CMS
$84.99
Numerical Treatment of Eigenvalue Problems Vol. 3 / Numerische Behandlung von Eigenwertaufgaben Band
$54.99
The First Northern Ireland Peace Process
$99.99
Intelligent Distributed Computing, Systems and Applications
$129.00
Eintrittsbarrieren in japanische Mrkte
$44.99
Functional Differential Equations and Bifurcation
$54.99
International Education Aid in Developing Asia
$39.99
Geometry III
$109.99
Machine Learning in Medical Imaging
$64.99
Hydrology of Disasters
$169.99
Global Change and Regional Impacts
$169.99
Psychotechnische Berufseignungsprfung von Gieereifacharbeitern
$44.99
David Bohm's Critique of Modern Physics
$84.99
Spezieller Teil I: Die Eingriffe in der Bauchhhle
$59.99
Europische Union und Whrungsunion in der Dauerkrise II
$29.99
