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
Differenzierung und Musterbildung bei einfachen Organismen. Kurzlebige Isotope in der Pflanzenphysio
$59.99
Rethinking Ethnography in Central Europe
$54.99
Beneath the Moon- Fairy Tales, Myths, and Divine Stories from Around the World by Yoshi Yoshitani
$18.00
Demokratisierung der EU
$54.99
Applications in Electronics Pervading Industry, Environment and Society
$249.99
Handbuch der Schweitechnik
$84.99
Zur Frage der Verwendung hochwertiger Stahlsorten, insbesondere von Torstahl zur Bewehrung von Beton
$49.99
Succeeding in Academic Medicine
$69.99
Design and Construction of Phosphorus Removal Structures for Improving Water Quality
$69.99
Entwicklungsgeschichte und Morphologie der Wirbellosen
$59.99
Die Gebude der Universitt Heidelberg
$59.99
Regional Economic Analysis of Power, Elections, and Secession
$79.99
Venous Embolization of the Liver
$89.00
Machine Learning, Image Processing, Network Security and Data Sciences
$69.99
Hmofiltration, Hmodialyse, Hmapherese
$69.99
Plural Governance
$69.99
Handbuch der Wahldaten Lateinamerikas und der Karibik
$59.99
The History of Labour Management in Japan
$109.99
Multidisciplinary Research Perspectives in Education
$39.99
Low-Carbon Smart Cities
$199.99
Wittgenstein and the Creativity of Language
$29.99
Pediatric Acute Lymphoblastic Leukemia
$159.99
Quantum Well Infrared Photodetectors
$169.99
Evolutionary Developmental Biology of Invertebrates 6
$54.99
Lean Management Wege aus der Krise
$69.99
Magnetophotonics
$109.99
Next Generation Information System Technology
$39.99
Datenverarbeitungsanlagen als Instrument der Unternehmensfhrung in Geldinstituten
$54.99
Cancer Cytogenetics
$89.00
Deutsch-israelisches Leadership Development
$64.99
Sapo y Sepo todo el ao
$4.46
Supersymmetry and Trace Formulae
$169.99
Paradoxien des Journalismus
$109.00
Menschen Tiere Kommunikation
$99.99
Lexikon der Mathematik: Band 5
$44.99
Pouchers Perfumes, Cosmetics and Soaps
$39.99
Science, Numbers and Politics
$129.99
Walzwerktechnik
$89.99
Education and Social Inequality in the Global Culture
$109.99
England in 1815
$54.99
