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
The Problem of Catalan
$54.99
A New Perspective on Nonmonotonic Logics
$84.99
Building Democracy through Education on Diversity
$39.99
The New Luxury Experience
$89.99
Liquid Crystalline Polymers
$129.00
Elementare Einfhrung in die Wahrscheinlichkeitsrechnung
$59.99
Tiana's Perfect Plan Book The Princess and the Frog Official shopDisney
$18.99
Evolutionary Algorithms in Engineering Applications
$109.99
Dryland Ecohydrology
$84.99
Vernetzte Mobilitt
$49.99
Lactoferrin
$39.99
Topological and Algebraic Structures in Fuzzy Sets
$169.99
Geschichte der Volkswirtschaftslehre
$69.99
The Political Economy of Chinas Systemic Transformation
$54.99
Controlling mit SAP R/3
$54.99
Chitosan Nanocomposites
$169.99
New Horizons in Osteoporosis Management
$249.99
Democracy Deferred
$39.99
Security and Quality in Cyber-Physical Systems Engineering
$159.99
Masculinities and Discourses of Men's Health
$169.99
Theory of Semi-Feasible Algorithms
$109.99
Newton's Gravity
$64.99
Natrliche Familienplanung heute
$74.99
Clifford Be Big: Clifford's Manners
$3.71
Selected Exercises in Particle and Nuclear Physics
$84.99
Die Patentanmeldung und die Bedeutung ihres Wortlauts fr den Patentschutz
$74.99
Landslides in Sensitive Clays
$249.99
Deploying Raspberry Pi in the Classroom
$29.99
Aspergillosis: from diagnosis to prevention
$259.00
Lower Abdominal and Perineal Surgery
$109.99
Yeasts in Biotechnology and Human Health
$199.99
Komplexitt Managen
$39.99
Prevention of Nausea and Vomiting in Cancer Patients
$39.99
Seven Figures in the History of Swedish Economic Thought
$84.99
Der Feinschmecker it salzarm
$74.99
Die Dynamik der Verbrennungskraftmaschine
$84.99
Agriculture's Futures
$99.00
Coronarinsuffizienz, Pathophysiologie und Anaesthesieprobleme bei der Coronarchirurgie
$59.99
Humanitarian Logistics
$54.99
The Female Genital Tract of the Shrew Crocidura russula
$109.99
