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
Party Policy and Government Coalitions
$129.00
Recent Aspects of Quantum Fields
$109.00
Das Betriebssystem Open VMS
$49.99
Anwendungsorientierte Mathematik
$69.99
Internet of Things and M2M Communication Technologies
$79.99
High-Performance CMOS Continuous-Time Filters
$169.99
The Economics of Social Insurance and Employee Benefits
$169.99
House Prices: Changing the City World
$109.99
Probability and Information
$449.99
Efficient Quadrature Rules for Illumination Integrals
$37.99
Weltwirtschaftlicher Stand und Aufgaben der Elektroindustrie
$44.99
Russia and America: A Philosophical Comparison
$109.99
Polymer Characterization Interdisciplinary Approaches
$54.99
Fatherhood and Masculinities
$129.99
Pedestrian and Evacuation Dynamics 2012
$219.99
Environmental Law and American Business
$169.99
Nano Medicine and Nano Safety
$189.00
Positive Polynomials
$54.99
Isotopes in Organic Geochemistry
$59.99
Basic Serological Testing
$39.99
Wege agiler Fhrung mit Sinn
$17.99
Biochemisches Handlexikon
$59.99
Write Your Own Story, How I Took Control by Letting Go by Patti Ann Browne
$27.00
Womens Drug Use in Everyday Life
$49.99
Gender methodologisch
$64.99
Pete the Cat Saves Christmas
$5.96
Linear and Complex Analysis Problem Book 3
$39.99
Recent Advances in Biological Psychiatry
$39.99
Children and Migration
$109.99
The banking and credit system of the USSR
$169.99
Schulabsentismus
$59.99
Microbial and Enzymatic Bioproducts
$39.99
Clustering-Based Support for Software Architecture Restructuring
$54.99
Genetisches Enhancement
$119.99
Diffusion Processes and Related Problems in Analysis, Volume I
$54.99
Kleist-Jahrbuch 2018
$29.99
Advancing Culture of Living with Landslides
$59.99
Folyl and Antifolyl Polyglutamates
$84.99
Stellar Atmospheres: Beyond Classical Models
$169.00
Positive Krmmung und Topologie
$59.99
