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
Die aromatischen Arsenverbindungen
$59.99
Cross-Cultural Risk Perception
$169.99
Regulatory Aspects of Gene Therapy and Cell Therapy Products
$149.00
Variations of a Building
$99.00
Design of Linear Multivariable Feedback Control Systems
$199.99
Modeling Tumor Vasculature
$169.99
Die Funktionelle Albuminurie und Nephritis im Kindesalter
$59.99
Turbulent Shear Flows 3
$84.99
Mensch und Raum, eine glckliche Beziehung?
$29.99
Preis-Promotions im Automobilverkauf
$59.99
Methods and Tools for Drought Analysis and Management
$169.99
The Bacteriocins
$84.99
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
$39.99
Transforming Global Health
$39.99
Isotopic Tracer Techniques in Preclinical Research
$89.99
Projektmanagement am Rande des Chaos
$69.99
Altersgrenze und Arbeitsmarktpolitik
$59.99
Stabilitt und Matrizen
$59.99
Questions and Answers
$84.99
Times Arrow: The Origins of Thermodynamic Behavior
$54.99
Modeling Density-Driven Flow in Porous Media
$89.00
Terricolous Lichens in India
$84.99
Learning That Matters
$39.99
Data Management Technologies and Applications
$119.99
Model and Data Engineering
$72.00
Science and Technology in Homeric Epics
$129.00
Probability Measures on Locally Compact Groups
$54.99
Mensch und Lebensraum
$44.99
Using Game Theory to Improve Safety within Chemical Industrial Parks
$84.99
The Korean Automotive Industry, Volume 1
$119.00
Aid and Power in the Arab World
$54.99
Literacy Unbound: Multiliterate, Multilingual, Multimodal
$84.99
Nachhaltige Wasser-wirtschaft in Deutschland
$64.99
Advances in Cryptology CRYPTO 2023
$89.00
Bauelemente der Halbleiter-Elektronik
$49.99
Ostdeutsche Erwerbsverlufe zwischen Kontinuitt und Wandel
$44.99
Popular Italian Cinema
$54.99
Essays on Explanation and Understanding
$54.99
The Beginnings of University English
$54.99
Large-Scale Integrated Energy Systems
$99.00
