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 $72.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
|
|
$79.99 | $79.99 |
|
10% OFF
This deals requires coupon
|
$72.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022. The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Reviews
Questions & Answers
Photobiomodulation for the Brain
$39.99
Wheat Improvement
$59.99
Dynamic Radiology of the Abdomen
$74.99
Die Vereinigten Staaten von Amerika als Wirtschaftsmacht
$59.99
Innovation Diffusion and Political Control of Energy Technologies
$109.99
Reforming Science Teacher Education Programs in the STEM Era
$169.99
Advances in Enterprise Engineering XVII
$119.99
An Introduction to Structural Mechanics for Architects
$89.99
Victimology
$159.99
Frauen ins Management von der Reservearmee zur Begabungsreserve
$54.99
Hierarchical Sliding Mode Control for Under-actuated Cranes
$109.99
Erfolgreich Programmieren mit Ada
$69.99
Dragons in a Bag
$5.96
Mathematical Masterpieces
$39.99
Organisationale Wandelfhigkeit
$64.99
Postcolonial Yearning
$39.99
Against Theory of Mind
$54.99
Organisation in der Produktionstechnik
$39.99
Strategies to Ameliorate Oxidative Stress During Assisted Reproduction
$39.99
Objektives Verstehen
$39.99
Cell Biology and Translational Medicine, Volume 22
$159.99
Sustainable Production: Novel Trends in Energy, Environment and Material Systems
$109.99
CAD Tools and Algorithms for Product Design
$109.99
Farbatlas der Gefkrankheiten
$54.99
Human Apolipoprotein Mutants 2
$54.99
Foot and Ankle Surgery in Children and Adolescents
$179.99
Der Weg in die Unternehmensberatung
$59.99
Phnomenologie Heute
$54.99
Coastline Changes of the Baltic Sea from South to East
$109.99
Earth System Science in the Anthropocene
$169.99
XML Programming Using the Microsoft XML Parser
$34.99
Radioactive Particles in the Environment
$219.99
The Palgrave Handbook of Left-Wing Extremism, Volume 2
$249.99
Basic Programs for Chemical Engineers
$39.99
Flow Cytometry
$129.00
The Flexible Enterprise
$169.99
Differential Geometry of Frame Bundles
$54.99
The Politics of Vulnerable Groups
$109.00
2021 International Conference on Applications and Techniques in Cyber Intelligence
$169.00
Neue Sachlichkeit 19241932
$79.99
