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
Successful Case-based Reasoning Applications
$129.00
Culturally Responsive Collection: Multicultural Edition Grade 4 (50 books)
$295.00
Datenschutz Konzepte, Algorithmen und Anwendung
$34.99
Wettbewerb und Kooperation
$39.99
Effective Training of Arthroscopic Skills
$54.99
Lehraufgabenprogramm fr den Bankkaufmann
$64.99
Manliness and the Boys Story Paper in Britain: A Cultural History, 18551940
$84.99
Gender and Subjectivities in Early Twentieth-Century Chinese Literature and Culture
$39.99
Trends in Chromosome Research
$109.99
Consensus Problem of Delayed Linear Multi-agent Systems
$54.99
Environmental Studies
$84.99
Computer Simulation of Condensed Phases in Complex Geometries
$39.99
Developmental Biology in Prokaryotes and Lower Eukaryotes
$279.99
Quasi- und nichtlineare Kirchhoff-Netzwerke
$24.99
Soft Matter Physics
$84.99
Neurotox 91
$54.99
Robert Holdstocks Mythago Wood
$49.99
Mechanical and Creep Behavior of Advanced Materials
$169.99
Pattern Recognition
$119.99
Digital Learning
$39.99
Mikroplastik in der aquatischen Umwelt
$17.99
Metakognition beim mathematischen Modellieren
$39.99
Ant Colony Optimization and Swarm Intelligence
$54.99
Neuronale Netze in der Finanzwirtschaft
$59.99
The Witchery: The Witchery
$9.74
Public Acceptability of Congestion Charging in China
$99.99
An Intimate Relation
$329.99
Oat
$159.99
Handbook of Animal Models and its Uses in Cancer Research
$599.99
Investigation of Innovative Water Injection Strategies for Gasoline Engines by Means of a 3D-CFD Vir
$119.99
Innovative Approaches for Learning and Knowledge Sharing
$109.99
Quoten, Kurven und Profile
$39.99
Amos and Boris by William Steig
$8.99
Aesthetic Experience and Moral Vision in Plato, Kant, and Murdoch
$129.99
Learning and Intelligent Optimization
$39.99
Employability in der Unternehmenspraxis
$99.99
Fehlertoleranzverfahren
$59.99
Ernest Sosa
$54.99
Applied Genetics of Leguminosae Biotechnology
$219.99
Human Thought
$169.99
