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 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018. The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
Reviews
Questions & Answers
Innovations in Computational Intelligence
$109.99
Chemical Quality Assurance of Milk and Milk Products
$79.99
Enslaved Women and the Art of Resistance in Antebellum America
$109.99
Die Geschichte des Wismuts zwischen 1400 und 1800
$59.99
Structure Reports
$39.99
Advances in Conceptual Modeling
$44.99
Automata, Logics, and Infinite Games
$79.99
Zum algebraischen Gleichheitsverstndnis von Grundschulkindern
$49.99
A Self-Help Guide to Managing Depression
$54.99
Signal Transduction in Plants
$219.99
Emergency Contraception
$109.99
Temporal Variations of the Cardiovascular System
$54.99
Advances in Turbulence XI
$329.99
Economics of Bioresources
$39.99
Advances in Cognitive Neurodynamics (III)
$329.99
Challenges and Trends in Organizational Management and Industry
$179.99
Wegweiser zum Datenhighway
$69.95
Das Maschinen-Zeichnen
$84.99
Preisfindung bei verteilter Brsenstruktur
$49.99
Rheology and Processing of Construction Materials
$219.99
Demokratie und Partizipation
$59.99
Einfhrung in die Literaturtheorie
$24.99
Coal
$74.99
Critical Systems: Formal Methods and Automated Verification
$39.99
Kumon Summer Review Prep 1-2 by Kumon Publishing
$9.95
Improvement of Cereal Quality by Genetic Engineering
$39.99
Enterohepatic Circulation of Bile Acids and Sterol Metabolism
$219.99
Parlament und Aussenpolitik Zusammenarbeit der Ostsee-Staaten Regelung des Verkehrs
$59.99
The Nation in the History of Marxian Thought
$54.99
The Boy Who Touched the Stars / El nio que alcanz las estrellas
$5.96
Feline Dermatology
$199.99
We Don't Eat Our Classmates
$5.21
Acoustic-Based Applications for Vertebrate Vocalization
$64.99
The Influence of Ethyl Alcohol on the Development of the Chondrocranium of Gallus gallus
$109.99
Practical Aspects of Urinary Incontinence
$39.99
JIMD Reports - Volume 12
$54.99
Integration and Clustering for Sustainable Economic Growth
$219.99
Hydraulic Principles and Design Concepts for Submain Units with Multiple Outlet Pipelines
$89.99
Online-Informationsverhalten von Business-to-Business-Kufern
$59.99
Stdtische Verkehrspolitik auf Abwegen
$74.99
