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 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.
Reviews
Questions & Answers
Geometry of Defining Relations in Groups
$129.99
Synaptisches Management
$39.99
Stochastik der Strahlenwirkung
$29.99
Semiconductor Optical Modulators
$169.99
Regional Policy in a Changing World
$219.99
Handbuch Innovative Wirtschaftsfrderung
$189.00
Water Management at Abandoned Flooded Underground Mines
$129.00
Erkrankungen der Gallenblase und Gallenwege
$59.99
Auffallen oder anpassen?
$44.99
Proceedings of the 8th International Conference on Water Resource and Environment
$189.00
Central Nervous System Diseases
$219.99
Childrens Rights and International Development
$54.99
Clinical Cases in Neonatal and Infant Dermatology
$84.99
Evidence-Based Decision Making in Dentistry
$159.99
Verbraucherbildung und Verbraucherberatung in der Altersvorsorge
$69.99
Die einstweilige Anordnung in der internationalen Gerichtsbarkeit
$69.95
Unternehmenskooperation und Branchentransformation
$69.99
Immunology of Sexually Transmitted Diseases
$84.99
Sustainable Agriculture and Food Security
$179.99
Crystal Structure Determination
$54.99
Why Do Religious Forms Matter?
$49.99
Safety and Health in the Oil and Gas Extractive Industries
$219.99
Laws of Nature
$169.99
Der traumatische Lungenkollaps
$54.99
Brain Evolution by Design
$249.99
International Conference on Advancements of Medicine and Health Care through Technology; 5th 7th J
$169.99
Neuromuscular Diseases
$74.99
Von Kriegsverchtern und Kriegsverfechtern
$59.99
Shifting from Accounting Practitioner to Academia
$89.99
Marktqualitt und Insiderhandel auf Kapitalmrkten
$74.99
Was ist real?
$29.99
Tensor Analysis and Elementary Differential Geometry for Physicists and Engineers
$74.99
Psychiatrie in der klinischen Medizin
$54.99
LaTeX Vademecum
$54.99
Quantenmechanik
$59.99
Biotechnology in India I
$169.00
European Oncology Leaders
$109.99
Marihuana
$199.99
Polarized Beam Dynamics and Instrumentation in Particle Accelerators
$59.99
The Impact of the First World War on British Universities
$169.99
