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
I Love You So Mochi
$8.24
Handbook of Modern Grinding Technology
$84.99
Conformal Field Theory
$139.00
Big Data Benchmarking
$44.99
Innovation in Luxury Fashion Family Business
$54.99
Challenging Democracy in Early Childhood Education
$159.99
The Politics of Educational Decentralisation in Indonesia
$129.99
Marketing-Kommunikation im Internet
$44.99
Queer/Muslim/Canadian
$139.99
Pedagogy of the Anthropocene Epoch for a Great Transition
$129.99
Multimedia-Kommunikation im Brobereich
$59.99
Elektrische Energieversorgung
$54.99
European Perspectives on the Common European Sales Law
$84.99
To Shake the Sleeping Self - A Journey from Oregon to Patagonia, and a Quest for a Life with No Regret by Jedidiah Jenkins
$18.00
Von der Kindertageseinrichtung zum Dienstleistungszentrum
$34.99
Foundations for Designing User-Centered Systems
$44.99
Warum Komplexitt ntzlich ist
$59.99
Sustainable Development Disciplines for Humanity
$59.99
Computergrafik und Bildverarbeitung
$54.99
The One and Only: The One and Only Ruby (Hardcover)
$14.24
Handbook of Palaeodemography
$84.99
Immunological Aspects of Rheumatology
$39.99
Contextualizing Immigrant and Refugee Resilience
$84.99
Monetary Policies in the Age of Uncertainty
$44.99
Fight for Freedom
$7.46
Handbuch der gefhrlichen Gter. Erluterungen II. Austauschlieferung, Dezember 2020
$159.99
Zielsichere Betonbildung
$59.99
Carbon-Nitrogen-Sulfur
$99.00
The Handbook of Civil Society in Africa
$169.00
Machine Learning Methods for Ecological Applications
$169.99
Rhythms in Fishes
$39.99
3rd Kuala Lumpur International Conference on Biomedical Engineering 2006
$329.99
Catholicism and Anti-Catholicism in Early Modern English Texts
$109.99
Unternehmenskultur und Betriebswirtschaftslehre
$44.99
Proust, Music, and Meaning
$79.99
Laws of Diminishing Returns
$54.99
The Spy Who Came in from the Cold (George Smiley Series) by John le Carre
$17.00
Chemistry and Significance of Condensed Tannins
$169.99
The Ocimum Genome
$109.99
25 Jahre Anaesthesiologie und Intensivtherapie in sterreich
$59.99
