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 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Reviews
Questions & Answers
Shallow Lakes 98
$219.99
Altenselbsthilfe
$37.99
Supply Chain Analysis
$109.99
Comparing Strategies of (De)Politicisation in Europe
$159.99
Kapazittsorientierte Produktionssteuerung
$69.99
Grundlagen der Roboter-Manipulatoren Band 1
$39.99
Cross-Border Venture Capital Investments
$54.99
Radioactive Isotopes in Clinical Medicine and Research
$39.99
Adherence to Antiretroviral Therapy among Perinatal Women in Guyana
$159.99
I Love You Through and Through at Christmas, Too! / En Navidad tambin te quiero!
$6.74
Data Mining Methods for Knowledge Discovery
$129.00
Chancho el campen
$3.74
Rhythm and Transforms
$119.00
The Point-Source Model with Coefficient of Opacity k = k1T-3.5
$74.99
Carbon-Related Materials
$109.00
Augenheilkunde, Dermatologie, HNO...in 5 Tagen
$29.99
Modelling Stochastic Fibrous Materials with Mathematica
$54.99
Radiation Therapy Techniques and Treatment Planning for Breast Cancer
$79.99
Zwischen Industrieprovinz und Grostadthoffnung
$59.99
Ageing, Gender, and Labour Migration
$54.99
Sustainability in the Textile and Apparel Industries
$129.00
Historische Diskursanalyse der Literatur
$64.99
The Grants Register 2024
$549.99
Dr Kazuo Inamoris Management Praxis and Philosophy
$109.99
Islamism and Post-Islamism in Iran
$129.99
Innovative Supply Chain Management via Digitalization and Artificial Intelligence
$139.00
Shifting Power in Asia-Pacific?
$229.00
Artificial Intelligence in Education
$129.99
Entwurf und Realisierung eines Multiprozessors
$69.99
Assortment and Merchandising Strategy
$54.99
Probability in Social Science
$39.99
Reviews of Environmental Contamination and Toxicology
$84.99
53. Jahrestagung der Deutschen Gesellschaft fr Unfallheilkunde e.V
$59.99
Der Tod in Dichtung Philosophie und Kunst
$64.99
Learning from Animations in Science Education
$179.99
Modular Programming Languages
$54.99
Thema Krebs
$39.99
Wissenssoziologische Diskursanalyse
$44.99
Advances in Information Technology and Industry Applications
$259.00
Integrating Resiliency into Future Sustainable Cities
$249.99
