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
Introduction to Partial Differential Equations
$69.99
Many-Electron Densities and Reduced Density Matrices
$109.99
The Vienna Circle in Czechoslovakia
$54.99
Excel fr technische Berufe
$39.99
Resultate der Untersuchungen des in der Eifel vorkommenden vulkanischen Sandes in Bezug auf seine Ve
$54.99
Combustion and Pollution Control in Heating Systems
$54.99
Thermische Energiesysteme
$44.99
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software De
$39.99
Optical Waveguide Theory by the Finite Element Method
$54.99
Historia de una gaviota y del gato que le ense a volar
$5.96
Aspekte der internationalen konomie/Aspects of International Economics
$84.99
Selbstttig Arbeitende Sortier- und Addiermaschinen fr Kalkulation und Statistik
$54.99
Anaesthesia, Pain, Intensive Care and Emergency A.P.I.C.E
$69.99
Radar Cross Section Measurements
$129.00
Geschichte Konservativer Verfahren an den Bewegungsorganen
$59.99
Evolving Concepts in Sepsis and Septic Shock
$289.00
Suchmaschinenoptimierung kompakt
$59.99
Study of Electronic Properties of 122 Iron Pnictide Through Structural, Carrier-Doping, and Impurity
$109.99
Theism
$109.99
Einfrung in die Hhere Mathematik
$59.99
20 Jahre ifeu-Institut
$39.99
Brsenwettbewerb
$49.99
Menschenrechtsdiskurse in China und den USA
$49.99
International Skeletal Society Membership Book
$84.99
The Rules of Radiology
$37.99
Der Verband Deutscher Elektrotechniker 18931918
$59.99
Practical Cryptography in Python
$54.99
Die Lehre vom Raumsinn des Auges
$59.99
Konjunktur
$39.99
Shakespeare: Out of Court
$109.99
Citizenship and Crisis in Contemporary Brazilian Literature
$54.99
17th International Conference on Electrical Bioimpedance
$129.00
Translation Issues in Language and Law
$84.99
Ecosystem Services Concept, Methods and Case Studies
$99.00
Harmonic Analysis, Partial Differential Equations, Banach Spaces, and Operator Theory (Volume 2)
$199.99
Optimistic Marketing in Challenging Times: Serving Ever-Shifting Customer Needs
$249.99
Inter-organizational Cooperation with SAP Solutions
$39.99
Peasant Petitions
$54.99
Supernovae
$109.99
A Knowledge Base for Teacher Education and Development: Bibliographies 1990-2000
$329.99
