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
Epilepsie
$59.99
Unified Valence Bond Theory of Electronic Structure
$54.99
Kommentar zum Arzneimittelgesetz (AMG)
$129.00
Ingenieurgeologie
$84.99
Introduction to the Theory of Vehicular Collisions
$37.99
Climate Refugees in South Asia
$139.99
Markenkraft im Mittelstand
$44.99
Evolutionary Perspectives on Death
$119.99
Atlas of Functional Shoulder Anatomy
$379.99
Advanced Simulation in Biomedicine
$54.99
Stdtischer Raum und Verhalten
$59.99
Allergens and Airway Hyperreactivity
$109.99
Observations and Predictions of Eclipse Times by Early Astronomers
$279.99
Blickpunkt Gesellschaft 4
$69.99
Vasodepressor Hormones in Hypertension: Prostaglandins and Kallikrein-Kinins
$54.99
Smoothing Methods in Statistics
$179.99
Untersuchung der berfluggeruschspektren hufig eingesetzter Verkehrsflugzeuge an Standardmepunkte
$59.99
Public Private Partnerships in Nigeria
$89.00
Innovative Entwicklungen in den deutschen Staatsanwaltschaften
$79.99
The Management of Industrial Forest Plantations
$219.99
Recht als Instrument der Politik
$69.99
Central Banking, Monetary Policies, and the Implications for Transition Economies
$169.99
Drugs Affecting Lipid Metabolism VIII
$109.99
Staatliche Programme und Verwaltungskultur
$69.99
Energy Scavenging for Wireless Sensor Networks
$169.00
Infantile Spasms
$129.00
ber die Merkwrdigkeiten der Quantenmechanik
$17.99
The Dense Interstellar in Galaxies
$219.99
Security in Computing and Communications
$54.99
Entstrung betrieblicher Ablufe
$44.99
Date Palm Biotechnology Protocols Volume II
$119.00
State-Dependent Impulses
$54.99
Rechtsvorschriften und Regeln fr die Amtsrztliche und Gesundheitstechnische Praxis
$59.99
Stem Cell Therapy for Vascular Diseases
$84.99
Conceptual Modeling ER 2011
$54.99
Ego-zentrierte Netzwerkanalyse und familiale Beziehungssysteme
$44.99
Turn the Pulpit Loose
$84.99
Distributed Computing and Internet Technology
$39.99
Therapy of Social Medicine
$109.99
Sigma Delta Modulators
$129.00
