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
Shakespeares Surrogates
$99.99
Convexity and Optimization in Finite Dimensions I
$79.99
Lie Group Representations I
$44.99
An Analog VLSI System for Stereoscopic Vision
$109.99
Powertrain Development with Artificial Intelligence
$89.00
Workhorse - My Sublime and Absurd Years in New York City's Restaurant Scene by Kim Reed
$28.00
The Science of Citizen Science
$59.99
Smart Cities
$39.99
Kommentar ATV DIN 18 350 und DIN 18 299
$89.99
Model-Checking Based Data Retrieval
$54.99
Re-Framing the Theatrical
$39.99
Recent Progress in Many-Body Theories
$39.99
Confucianism and Modernisation
$109.99
The Chinese Story in Global Order
$159.99
Fostering Development in Midlife and Older Age
$169.99
Modern Physical Electronics
$54.99
Handbuch der Neurologie
$59.99
Tafeln in Deutschland
$29.99
Scholastic Reader! Level 1-I Spy: I Spy A Skeleton
$2.99
Advances in Smart Vehicular Technology, Transportation, Communication and Applications
$219.00
Information Retrieval Technology
$54.99
Managing in Uncertainty: Theory and Practice
$219.99
Aufgaben und Lsungen aus der Gleich- und Wechselstromtechnik
$59.99
Living with Vulnerabilities and Opportunities in a Migration Context
$39.99
Riesen des Meeres
$49.99
Political Culture and Political Change in Communist States
$49.99
Social Media in Politics
$179.99
Intelligenzprfungen an Menschenaffen
$84.99
More Than a Showroom
$29.99
Roh macht Froh
$29.99
Linear Elliptic Differential Systems and Eigenvalue Problems
$29.99
Artificial Intelligence Applications in Information and Communication Technologies
$109.99
Investitionsrechnung fr Praktiker
$54.99
Phase Interaction in the Metal - Oxide Melts - Gas -System
$129.00
Laser Drilling
$54.99
Kreislaufschock
$69.99
Collisional Processes in the Solar System
$39.99
Trkische Unternehmensgrndungen von der Nische zum Markt?
$59.99
Water and Aqueous Solutions
$39.99
Spatial Cognition VII
$39.99
