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 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
Reviews
Questions & Answers
Reactive Intermediates
$39.99
The Impact of Critical Rationalism
$79.99
Mitarbeiten Mitverantworten Mitbestimmen
$59.99
Decision Making and Performance Evaluation Using Data Envelopment Analysis
$119.99
Introduction to Dutch
$54.99
Freedom and Enforcement in Action
$39.99
The Jungle Barnes Noble Signature Classics by Upton Sinclair
$12.99
Creating Healthy and Sustainable Buildings
$59.99
The Sun, Solar Analogs and the Climate
$109.99
Clinical Functional MRI
$89.00
The Concept of Judgment in Montaigne
$54.99
Clinical Investigations in Gastroenterology
$139.99
Global and Organizational Discourse about Information Technology
$169.99
Logistics Management
$169.99
Res publica semper reformanda
$109.00
Applications of Evolutionary Computation
$54.99
Artificial Intelligence and Industrial Applications
$279.99
Social Justice and Agricultural Innovation
$39.99
IT-gesttztes Prozessmanagement im Gesundheitswesen
$39.99
Regelmechanismen fr die Formsicherung im Automobilbau
$59.99
Operational Risk Management
$109.99
Electronic Signatures
$69.95
Resistance to Targeted Therapies in Breast Cancer
$169.99
Britains Retreat from East of Suez
$109.99
Digitales Krisenmanagement
$44.99
Temporal Climatology and Anomalous Weather Analysis
$129.99
Learn About: A Swarm of Bees
$5.24
Umwelt und Technik im Gleichklang
$54.99
The Visual Language of Technique
$39.99
Visual Synergies in Fiction and Documentary Film from Latin America
$54.99
Directing at Disney: The Original Directors of Walt's Animated Films Book
$50.00
Europe, Nations and Modernity
$54.99
Transforming Through Processes
$54.99
Advances in Meta-Analysis
$54.99
The Role of Migration in the History of the Eurasian Steppe
$109.99
Twelve is a Dozen
$3.71
Computational Intelligence and Intelligent Systems
$54.99
Planetary Systems: Formation, Evolution, and Detection
$39.99
Reflection Groups and Invariant Theory
$89.99
Wirkungen des Protestantismus auf Einstellungen und Wertorientierungen
$69.99
