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 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Reviews
Questions & Answers
Datenbankkonversationen
$49.99
Unmasking School Leadership
$54.99
John Hicks Theodicy
$44.99
Terrestrial Slugs
$169.00
The Jewish Legion during the First World War
$109.99
Learning With Colleagues
$54.99
Ireland and Postcolonial Studies
$39.99
1st Global Conference on Biomedical Engineering & 9th Asian-Pacific Conference on Medical and Biolog
$169.99
Lipoproteins and Atherosclerosis
$109.99
The Economic Problems of Housing
$169.00
Politische Steuerung zwischen System und Akteur
$59.99
Asymptotic Properties of Solutions of Nonautonomous Ordinary Differential Equations
$54.99
Practice of Optimisation Theory in Geotechnical Engineering
$169.99
Phase Transitions in Surface Films 2
$84.99
Therapeutic Embolization
$129.00
The Poetics of Post-Traumatic Stress Disorder in Postmodern Literature
$59.99
Beginning x64 Assembly Programming
$34.99
RNA 3D Structure Analysis and Prediction
$169.99
Introduction to Parallel Computing
$44.99
Foundations of Time-Frequency Analysis
$179.99
Industrial Management- Control and Profit
$159.99
Proceedings of the International Colloquium in Textile Engineering, Fashion, Apparel and Design 2014
$169.99
Brain Mapping
$279.99
Analytical Chemistry Of Foods
$54.99
Family Law and Society in Europe from the Middle Ages to the Contemporary Era
$179.99
Imaging in Transplantation
$169.99
Organisation, Information und berwachung
$69.99
Marktforschung
$49.99
Zur 27-tglichen Wiederholungsneigung der erdmagnetischen Aktivitt, erschlossen aus den tglichen C
$59.99
Performance Measurement und Management
$84.99
Library Lion
$5.96
Anteilsbasierte Vergtung nach IFRS 2
$39.99
Rodent Transplant Medicine
$139.99
Subventionseffizienz staatlicher Finanzpolitik
$59.99
Groundwater and Mineral Resources of Nigeria
$109.99
Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages
$49.99
Automotive Mechatronics: Operational and Practical Issues
$169.00
Elemente der Algebra
$24.99
Modeling, Simulation and Control of Nonlinear Engineering Dynamical Systems
$169.00
ber die Erweiterung des Definitionsbereiches differenzierbarer Funktionen
$54.99
