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
Supramolecular Polymer Networks and Gels
$219.99
Learn GameSalad for iOS
$44.99
Combating Fake News with Computational Intelligence Techniques
$199.99
Complex Systems and Society
$54.99
Die wirtschaftliche Lage von Kanada
$59.99
The Making and Meaning of Relationships in Sri Lanka
$39.99
Knit Noro: 30 Designs In Living Color by Sixth&Spring Books
$24.95
Was ist an Mathematik schon lustig?
$9.99
Economic Sanctions
$139.99
Marktwiderstnde und Marketingplanung
$59.99
Linear Parameter-Varying and Time-Delay Systems
$109.99
Digital Factory for Human-oriented Production Systems
$169.99
Stem Cell and Gene-Based Therapy
$129.00
Fundamentals of Space Business and Economics
$64.99
Rechter Terrorismus: international digital analog
$34.99
Vector Variational Inequalities and Vector Optimization
$129.00
Nonlinear Phenomena in Physics
$109.99
Global Governance in Accounting
$54.99
Engineering Applications of FPGAs
$139.99
Essays on Robertsonian Economics
$44.99
Daniil Kharms and the Poetics of the Absurd
$59.99
Werte schaffen - die Verantwortung von Unternehmen
$59.99
Management of Structure Formation and Properties of Cement Concretes
$169.99
Micro Total Analysis Systems 2001
$219.99
Architektur Intelligenter Verkehrssysteme (IVS)
$17.99
AI Ethics
$69.99
Deutsche Physiologische Gesellschaft 39. Tagung (Frhjahrstagung)
$59.99
Crohn's Disease and Ulcerative Colitis
$37.99
Exposure Therapy
$109.99
Geoinformatics and Data Analysis
$199.99
Gender Inequalities in Africas Mining Policies
$99.00
Peer-to-Peer, Grid, and Service-Orientation in Digital Library Architectures
$54.99
Modelling for Financial Decisions
$109.99
Breaking the Rules
$39.99
The Geopolitics of Iran
$159.99
Lineare Algebra fr Fachoberschulen
$69.95
Embedded, Cyber-Physical, and IoT Systems
$109.99
Multi-Level Regulation in the Telecommunications Sector
$54.99
E-Learning in the Workplace
$54.99
Interchanges of Insects between Agricultural and Surrounding Landscapes
$169.99
