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 $63.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
|
|
$69.99 | $69.99 |
|
10% OFF
This deals requires coupon
|
$63.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Reviews
Questions & Answers
Intelligent Agents: Specification, Modeling, and Application
$39.99
Is Crohns Disease a Mycobacterial Disease?
$109.99
Aesthetics
$54.99
Violence and Aggression
$84.99
Philosophy of Social Cognition
$49.99
Theoretische Analyse und praktische Anwendung von Modellen der optimalen Ausschuvorgabe unter Berc
$44.99
Festivals and Values
$99.00
Advanced Planning and Scheduling in Manufacturing and Supply Chains
$249.99
Shortest Connectivity
$84.99
Conceptual Theories in Structural Dynamics
$54.99
Estuaries of Australia in 2050 and beyond
$84.99
Religious Ethics in a Time of Globalism
$54.99
IUTAM Laminar-Turbulent Transition
$249.99
On the Politics of Ugliness
$99.00
konomische Bildung
$39.99
Studies in Religion
$39.99
Metaheuristics in the Service Industry
$84.99
Artificial Intelligence Applications and Innovations
$84.99
Content Distribution
$49.99
The Engineering-Business Nexus
$109.99
Schallabwehr im Bau- und Maschinenwesen
$59.99
Perspectives on Organizing Crime
$109.99
Spoof Plasmons
$19.99
ICDSME 2019
$329.99
Regression
$159.99
Agriculture and Rural Development in Russia Since the 2000s
$39.99
Formal Descriptions of Developing Systems
$109.99
The Essentials of Economic Integration
$74.99
Ultrasound-Guided Liver Surgery
$129.99
Evolution of Massive Stars
$84.99
Proklos, Prsident der platonischen Akademie, und sein Nachfolger, der Samaritaner Marinos
$69.99
Strategische Qualittsplanung und Qualittskostenanalysen im Rahmen eines Total Quality Management
$59.99
Advances in User Modeling
$54.99
Proceedings of the Tenth International Conference on Mathematics and Computing
$169.00
Stationre Psychodynamische Psychotherapie
$44.99
Latin American Science Fiction
$109.99
Pyrolysis and Gasification
$329.99
Fuzzy Transportation and Transshipment Problems
$109.99
Frank Wedekind und die Anfnge des deutschsprachigen Kabaretts
$39.99
Computational Linguistics and Intelligent Text Processing
$54.99
