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:
Buy Verification, Model Checking, and Abstract Interpretation for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Gastrointestinal Malignancies
$159.99
Rural Psychology
$54.99
Term Indexing
$54.99
Heiner Mller-Handbuch
$99.99
EconomicEnvironmentalEnergy Interactions
$129.00
Werbung fr alle Sinne
$59.99
Geological and Geostatistical Aquifer Characterization of Wajid Sandstone, Saudi Arabia
$169.99
Exchange Rate Policy
$84.99
Mr. Wolf's Class: Lucky Stars
$7.49
Pressevertrieb in Europa
$59.99
Existence as a Real Property
$199.99
Motivation und Emotion
$29.99
Inventing the American Astronaut
$54.99
Modelling Foundations and Applications
$54.99
Candidates, Parties and Voters in the Belgian Partitocracy
$129.99
Ultrahigh-Speed Optical Transmission Technology
$189.00
S+Functional Data Analysis
$54.99
Fractional Calculus and Its Applications
$44.99
Nutrient Use Efficiency: from Basics to Advances
$169.99
Diagnostic Pathology of the Intestinal Mucosa
$84.99
Advanced Physicochemical Treatment Technologies
$169.99
Praxis des Steuerstrafrechts
$49.99
Die Selbstttigen Pumpenventile in den Letzten 50 Jahren
$49.99
Verhaltensanomalien: Kritische Anlsse und die Wirkung finanzieller Allgemeinbildung
$89.99
Definition und Berechnung der Sicherheit von Automatisierungssystemen
$69.99
A Decade of Concurrency: Reflections and Perspectives
$84.99
Hierarchy and the Definition of Order in the Letters of Pseudo-Dionysius
$109.99
Sensors and Protocols for Industry 4.0
$59.99
Digital Human Modeling
$129.00
Bloodtransfusion and Problems of Bleeding
$39.99
Konzeption fr ein Sensor- und Steuerungssystem zur automatischen Fhrung eines Walzenschrmladers e
$69.99
Finlands Search for Security through Defence, 194489
$44.99
Imagines Philologorvm
$59.99
No Snacks, Jack!
$3.71
Kostenkontrolle und Kostennderungspotentiale
$59.99
Das Frankreich-Geschft
$39.99
Optimization Theory
$84.99
Agent and Multi-Agent Systems: Technologies and Applications
$54.99
Secure and Trust Computing, Data Management, and Applications
$54.99
Gleichstromtrassen und ihre Auswirkungen
$39.99
