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
Lineare Algebra und Analytische Geometrie
$69.99
Die Anwendung der Klte in der Lebensmittelindustrie
$64.99
Evaluating Educational and Social Programs
$39.99
Tuberkulose-Jahrbuch 1962
$44.99
Data Transmission at Millimeter Waves
$84.99
Fuzzy Petri Nets for Knowledge Representation, Acquisition and Reasoning
$199.99
Mikrowellentechnik
$39.99
Antifreeze Solutions in Home Fire Sprinkler Systems
$54.99
Key Structural Factors of Group 5 Metal Oxide Clusters for Base Catalytic Application
$109.99
Quasi-Optical Control of Intense Microwave Transmission
$329.99
Case Studies in Business Data Processing
$54.99
Impacts of COVID-19 on Supply Chains
$159.99
Die Bank im Konkurs und Vergleich ihres Kunden
$69.99
Inequalities
$129.00
Verteiltes Lernen in Computernetzen
$69.99
Interstellar Propagation of Electromagnetic Signals
$39.99
Challenges of the Caspian Resource Boom
$109.99
Photoelectron Spectroscopy
$119.00
Mathematical Correspondences and Critical Editions
$199.99
Visionary Materialism in the Early Works of William Blake
$54.99
Offshore Wind Energy Cost Modeling
$169.99
Developments in Advanced Control and Intelligent Automation for Complex Systems
$199.99
Democratic Transition and Consolidation in Southern Europe, Latin America and Southeast Asia
$109.99
Erklrende Soziologie und soziale Praxis
$44.99
Recent Trends in Algebraic Development Techniques
$54.99
Austro-Keynesianismus
$59.99
The Metaphysical Nature of the Non-adequacy Claim
$109.99
Der Weisstannenkrebs
$59.99
Klassische und molekulare Genetik
$59.99
Sustainable Landscape Planning in Selected Urban Regions
$179.99
Political Marketing and the 2015 UK General Election
$54.99
Das Punktquellenmodell mit verschwindendem Strahlungsdruck bei konstanter Opazitt
$54.99
The Molecular Dynamics of Liquid Crystals
$329.99
Armee in der Demokratie
$44.99
Grammatik der englischen Sprache
$64.99
Dezentrale Produktionssteuerung mit Agenten-Systemen
$44.99
Unearthing- A Story of Tangled Love and Family Secrets by Kyo Maclear
$29.00
Die Gewerblichen und Industriellen Abwsser
$59.99
Eurocode-Compliant Seismic Analysis and Design of R/C Buildings
$84.99
Respiratory Diseases
$54.99
