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:
Buy Verification, Model Checking, and Abstract Interpretation for $64.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$64.99 | 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
The Demographic and Development Divide in India
$99.00
Rheology of Polymers
$54.99
Der deutsche Privatbankier
$69.99
Modulation of Presynaptic Calcium Channels
$169.99
Knowledge and Industrial Organization
$84.99
Cyclotomic Fields
$54.99
George Padmore and Decolonization from Below
$109.99
Hypertension in Children and Adolescents
$79.99
Responsibility in Environmental Governance
$84.99
Automatic Control with Experiments
$169.99
Practice and Theory of Automated Timetabling IV
$54.99
Changing Governance in Universities
$119.99
Abschied von der Aufklrung?
$59.99
Viruses and Human Cancer
$89.00
Fascist Italy and the Middle East, 193340
$54.99
Economists in Discussion
$84.99
Genetics and Genomics for the Cardiologist
$109.99
Theorie der Beugung Elektromagnetischer Wellen
$59.99
Migration und Integration
$49.99
China Satellite Navigation Conference (CSNC) 2019 Proceedings
$169.00
Determinanten der Markteintrittsreihenfolge von imitativen Internet Start-ups
$64.99
Vlkerrecht Menschenrechte Verfassungsfragen Deutschlands und Europas
$149.00
Animal Cell Culture Techniques
$159.99
Climate Politics and the Impact of Think Tanks
$129.99
Percutaneous Image-Guided Biopsy
$169.99
Business Modeling and Software Design
$54.99
Endocrine Regulation of Electrolyte Balance
$109.99
Cartography and Art
$169.00
Blood cells in nuclear medicine, part I
$54.99
The Creative Enterprise of Mathematics Teaching Research
$39.99
Cyber Commerce Reframing
$39.99
Theorie der Arthritis Deformans
$59.99
EDV-gesttzte Kostenrechnung
$49.99
Divorce in Europe
$54.99
International Clinical Sociology
$54.99
Selfie Biometrics
$109.99
German-Jewish Literature in the Wake of the Holocaust
$39.99
Early Intervention in Psychotic Disorders
$169.99
Technology, Science Teaching, and Literacy
$39.99
Dynamics of Bridges, Volume 5
$169.00
