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
9th International Conference on the Development of Biomedical Engineering in Vietnam
$249.99
Practical Web 2.0 Applications with PHP
$49.99
Knowledge, Morals and Practice in Kants Anthropology
$119.99
A Critical Companion to Zoosemiotics:
$129.00
Beyond WEIRD: Psychobiography in Times of Transcultural and Transdisciplinary Perspectives
$169.99
Algebraic Informatics
$54.99
Chefsache Weiterbildung
$29.99
Chemical, Structural and Electronic Analysis of Heterogeneous Surfaces on Nanometer Scale
$39.99
Handelbare SO2-Zertifikate fr Europa
$59.99
Fhrungskompetenz im Zeitalter der Digitalen Transformation
$64.99
Dinos on the Move
$5.21
A Guided Tour of Relational Databases and Beyond
$99.99
Beginning C# 2005 Databases
$39.99
Implementations of Logic Programming Systems
$109.99
One Rights: Human and Animal Rights in the Anthropocene
$37.99
Measurement of Quarkonium Polarization to Probe QCD at the LHC
$54.99
Dependability Metrics
$39.99
Recursive Partitioning in the Health Sciences
$74.99
Neuroendocrinology of Gastrointestinal Ulceration
$39.99
Der Laplacesche Dmon
$39.99
Risk Journalism between Transnational Politics and Climate Change
$129.00
The Eurasian Project and Europe
$54.99
Verdichter fr Turbo-Flugtriebwerke
$279.99
The Palgrave Handbook of Disciplinary and Regional Approaches to Peace
$249.99
Innovative Accreditation Standards in Education and Training
$54.99
Metallography as a Quality Control Tool
$109.99
Guided Reading Level E Pack 2
$61.00
Proceedings of GeoShanghai 2018 International Conference: Geoenvironment and Geohazard
$169.99
Fundamentals of Robotic Mechanical Systems
$139.99
Deinstitutionalization and Community Living
$54.99
Agile Android
$24.99
Legalization of International Law and Politics
$159.99
Multidisciplinary Approaches for the Investigation of Textiles and Fibres in the Archaeological Fiel
$139.99
The Nuclear Energy Option
$109.99
Prostaglandins and Inflammation
$54.99
Meiosis
$109.99
Quantum Physics of Light and Matter
$69.99
The Ball and Some Hilbert Problems
$54.99
Weimars klassische Sttten
$59.99
Inside Radio: An Attack and Defense Guide
$79.99
