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 $58.50 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
|
|
$64.99 | $64.99 |
|
10% OFF
This deals requires coupon
|
$58.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
Reviews
Questions & Answers
Sustainable Forestry Challenges for Developing Countries
$169.99
Probability with Applications in Engineering, Science, and Technology
$169.99
Samsung Galaxy Application Sketch Book
$14.99
More Explorations in Complex Functions
$84.99
Nuclear and Radiological Emergencies in Animal Production Systems, Preparedness, Response and Recove
$59.99
Gandhi and the Psychology of Nonviolence, Volume 2
$109.99
Digital and Discrete Geometry
$39.99
CRISPR/Cas Genome Editing
$139.00
Decision Making And Problem Solving
$39.99
Politische Theorien der Gegenwart
$37.99
Verkauf von Versicherungen und Finanzdienstleistungen ist (k)eine Magie
$39.99
Anaesthesie in der Augenheilkunde
$69.99
Conditions of Happiness
$169.99
Die Dampfturbine als Schiffsmotor
$49.99
Die Auswirkung des Schlichtens von Leinengarnketten auf den Verarbeitungswirkungsgrad, sowie die Fes
$59.99
Geographies of Schooling
$59.99
Non-cooperative Stochastic Differential Game Theory of Generalized Markov Jump Linear Systems
$129.00
Handbuch der Kommunikationsnetze
$59.99
Vom Fernsprechnetz zum Information Superhighway
$69.99
Critical Perspectives on the Organization and Improvement of Schooling
$109.99
Building a National Distributed e-Infrastructure -- PL-Grid
$54.99
New Political Economy of Exchange Rate Policies and the Enlargement of the Eurozone
$109.99
Nachhaltigkeit in Unternehmen integrieren
$17.99
Memoiren eines sechszehnjhrigen Mdchens
$59.99
School Acts and the Rise of Mass Schooling
$69.99
32nd Scientific-Expert Conference of Agriculture and Food Industry
$299.99
Mapping Intimacies
$54.99
Moyamoya Disease
$109.99
Complex Orthogonal Space-Time Processing in Wireless Communications
$129.00
Advances in Gain-Scheduling and Fault Tolerant Control Techniques
$84.99
Advanced Multimedia and Ubiquitous Engineering
$169.00
Kursus: Radiologie und Strahlenschutz
$54.99
Management der F&E-Strategie
$54.99
Modeling Biological Systems:
$129.99
The Wider Domain of Evolutionary Thought
$129.00
Artificial Intelligence in Medical Sciences and Psychology
$54.99
Bioelectrochemistry of Membranes
$169.99
Regel- versus prinzipienbasierte Normsetzungsstrategien
$59.99
Wie Pippa wieder lachen lernte
$39.99
Mitochondrial DNA
$84.99
