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
Examens-Fragen Kinderheilkunde
$54.99
African American Women Writers' Historical Fiction
$54.99
Elasticity and Plasticity of Deformations
$84.99
Applications of Affine and Weyl Geometry
$29.99
Youth Literature for Peace Education
$54.99
Sustainable Solar Electricity
$169.99
Welcome Books-Hard Work: A Day with Paramedics
$3.71
Einfhrung in das Recht der Weiterbildung
$29.99
Integriertes nderungsmanagement
$59.99
Trust Management II
$109.99
Shallow Water Hydraulics
$109.00
CMOS Integrated Analog-to-Digital and Digital-to-Analog Converters
$329.99
Qualitative Methoden in der Politikwissenschaft
$39.99
From Limnology to Fisheries: Lake Tanganyika and Other Lakes
$169.99
Lufsky Bauwerksabdichtung
$59.99
Global South Perspectives on Diplomacy
$99.99
Krper und Soziale Ungleichheit
$59.99
The Neurosurgical Approach to Intracranial Infections
$54.99
Untersuchungen ber Aminosuren, Polypeptide und Proteine II (19071919)
$44.99
An Introduction to Echo Analysis
$109.99
Kostenrechnung im Baubetrieb
$59.99
Chemistry of Arsenic, Antimony and Bismuth
$219.99
Changing Social Risks and Social Policy Responses in the Nordic Welfare States
$54.99
Linear Algebra for Computational Sciences and Engineering
$69.99
Perspectives on Water Usage for Biofuels Production
$84.99
Zero-Bonds
$44.99
Ballet Cat: The Totally Secret Secret
$4.46
Economics of Agricultural Crop Insurance: Theory and Evidence
$189.00
Forensic DNA Profiling Protocols
$84.99
Fast Simulation of Computer Architectures
$109.99
Hyper-specializing in Saxophone Using Acoustical Insight and Deep Listening Skills
$179.99
Transformationsprozesse und Stromnetzausbau
$17.99
Medicinal Chemistry
$84.99
Oncoplastic Flap Surgery
$219.99
Impact and Opportunities of Artificial Intelligence Techniques in the Steel Industry
$149.00
New Techniques for Thoracic Outlet Syndromes
$84.99
Risikofaktor Hyperlipidmie
$69.99
Technisches Freihandzeichnen
$54.99
Sustainable Development Disciplines for Society
$59.99
"das Wort will Fleisch werden"
$59.99
