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
Eventrecht kompakt
$39.95
Organizational Psychology for Managers
$84.99
Frozen Section Library: Lung
$119.99
Gilbert Sheldon
$54.99
Nano/Micro Science and Technology in Biorheology
$109.99
Basic Questions on Truth
$84.99
Lesson Study as Pedagogic Transfer
$139.99
Advances in Fluid Mechanics
$39.99
Barriers to Entry
$159.99
The Substance of Truth
$49.99
Salmonella Species
$219.99
Plasmonics
$159.99
Cell and Muscle Motility
$54.99
Jane Addams: Progressive Pioneer of Peace, Philosophy, Sociology, Social Work and Public Administrat
$79.99
Electron Probe Quantitation
$169.00
Leading Solutions
$89.99
Quasidifferentiability and Nonsmooth Modelling in Mechanics, Engineering and Economics
$219.99
Image Analysis and Processing ICIAP 2015
$54.99
Social Innovation and Business in Taiwan
$109.99
Mathematische Methoden in den Sozialwissenschaften
$59.99
Die Akzeptanz von Neuprodukten im Handel
$69.99
The Planiverse
$44.99
Living Adult Education: Freire in Scotland
$49.99
Interactive Media for Sustainability
$39.99
Steuersystem und unternehmeriesche Investitionspolitik
$44.99
CONCUR 2006 - Concurrency Theory
$109.99
Sprachwissenschaft und Volkskunde
$59.99
Light Scattering From Micrometric Mineral Dust and Aggregate Particles
$84.99
Advances in Computer Games
$54.99
War Horse
$5.99
Biscuit-My First I Can Read!: Biscuit and the Little Pup
$4.46
Sustainable Technologies for the Management of Agricultural Wastes
$129.99
Calculus for Cognitive Scientists
$169.99
Interventional Cardiology and Angiology
$54.99
Wordsearches
$29.99
Bildkommunikation
$59.99
Die Entwicklung des Wegebaues in den Kniglich Preuischen Staatsforsten
$54.99
Mastering Digitally Controlled Machines
$49.99
Silvopastoral Systems in Southern South America
$169.99
Eignungsprognose und Ausbildungserfolg
$59.99
