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
Infinite Processes
$54.99
Vaskulitis
$29.99
Kunst und konomische Theorie
$49.99
Policy, Experience and Change: Cross-Cultural Reflections on Inclusive Education
$109.99
Peteosthor
$59.99
Direct and Inverse Methods in Radar Polarimetry
$39.99
Erforschung eines Verfahrens fr die gravimetrische Registrierung des Staubniederschlages im Freien
$54.99
Perspectives and Trends in Education and Technology
$299.99
Grandma's Gift
$6.71
Internet Webcasting
$49.99
Lehrbuch der Physik
$59.99
Beschaffungsmarketing fr die Praxis
$59.99
Serbia's Antibureaucratic Revolution
$54.99
Postcolonial Environments
$119.99
Vorlesungen ber Vergleichende Anatomie
$59.99
Philosophical Foundation of Human Rights
$119.99
SQL Server Analytical Toolkit
$59.99
Spiel und Magie in der Psychoanalyse
$17.99
The Role of Pleasure to Improve Tourism Education
$159.99
National Geographic Kids-Chapters: Living with Wolves!
$5.96
El ratn de ciudad y el ratn de campo
$2.96
Large-Scale Data Analytics
$54.99
Intellectual Property in China
$129.99
Mobilisierung fr alle?
$59.99
Numerical Solution of Stochastic Differential Equations with Jumps in Finance
$109.00
Medicinal Fatty Acids in Inflammation
$109.99
Disney A Twisted Tale: So This is Love
$7.49
Language, Race and the Global Jamaican
$59.99
Lost in Outer Space
$5.24
Die Rekultivierung der Abgrabungen von Steinen und Erden im Sinne einer optimalen Umweltgestaltung
$84.99
Towards a European Nationality
$109.99
Psychopathologie und Psychotherapie
$59.99
Management der Marketing-Kommunikation
$49.99
Mesoscopic Physics of Complex Materials
$39.99
Worldwide Language Service Infrastructure
$39.99
New Advances in Celestial Mechanics and Hamiltonian Systems
$169.99
Orthopedic and Trauma Findings
$54.99
Die Psychologie und Neurowissenschaft der Klimakrise
$17.99
When Highbrow Meets Lowbrow
$119.99
Islam and Competing Nationalisms in the Middle East, 1876-1926
$69.99
