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
Advanced Practice in Endocrinology Nursing
$159.99
Pulmonary Cytopathology
$109.99
Information Extraction: A Multidisciplinary Approach to an Emerging Information Technology
$29.99
The Human Oncogenic Viruses
$109.99
Our Nation's President - 2024 Election Skills Book (10-pack)
$24.99
Basics of Probability and Stochastic Processes
$69.99
Wireless Sensor Networks
$39.99
Technology's Promise
$54.99
Selbsthilfeforen als Ressource sozialer Untersttzung
$34.99
Strategies in Failure Management
$99.99
Die Kulturpolitik des Deutschen Reiches und der Bundesrepublik Deutschland Ihre verfassungsgeschicht
$59.99
Personal Comfort Systems for Improving Indoor Thermal Comfort and Air Quality
$159.99
Kazakhstan and the Soviet Legacy
$139.99
Globalization 2.0
$39.99
Among the Beasts Briars by Ashley Poston
$10.99
Decision Support for Natural Disasters and Intentional Threats to Water Security
$129.00
Controlling Conducted Emissions by Design
$139.99
The View from Goffman
$109.99
Pediatric Anxiety Disorders
$169.99
Wie beurteilt man eine Bilanz?
$59.99
Where Centering Meets Chinese Discourse
$109.99
Autonomes Fahren und die Zukunft der Mobilitt
$24.99
Norms and Gender Discrimination in the Arab World
$129.99
Circuit Synthesis with VHDL
$129.00
Informationsverarbeitung und -verteilung virtualisierter Organisationen
$69.99
The Worrysaurus
$4.49
Artificial Life and Evolutionary Computation
$84.99
The Archaeology of Capitalism in Colonial Contexts
$109.99
Lebensversicherung
$69.99
The Borrowers by Mary Norton
$7.99
Masculinities in Literature of the American West
$84.99
Design and Deploy Microsoft Azure Virtual Desktop
$59.99
Knowledge and Networks in a Dynamic Economy
$84.99
Heat Convection
$69.99
Health of Antarctic Wildlife
$219.99
Advances in Mucosal Immunology
$39.99
Semi-Markov Random Evolutions
$109.99
Ductal Carcinoma In Situ and Microinvasive/Borderline Breast Cancer
$109.99
Recruiting und Placement
$39.99
Human Apolipoprotein Mutants 2
$54.99
