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 $54.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
|
|
$59.99 | $59.99 |
|
10% OFF
This deals requires coupon
|
$54.00 | See Site | In stock | Visit Store |
Product Details
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows: Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy.
Reviews
Questions & Answers
Optimierung
$19.99
National Forest Inventories
$299.99
Ein Fall von primrer Munddiphtherie beim Sugling
$54.99
Methods and Techniques in Ethnobiology and Ethnoecology
$169.99
The Long East Asia
$139.99
Confluence of Multidisciplinary Sciences for Polymer Joining
$109.00
Bio-Materials and Prototyping Applications in Medicine
$169.99
Exploring the Hadron Collider - the Detectors
$17.99
New Achievements in Mechanics
$109.00
Familien-Atlas II: Lebenslagen und Regionen in Deutschland
$54.99
Medtech
$119.99
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
$129.00
Legumes in Farming Systems
$219.99
The European Parliament in Times of EU Crisis
$129.99
Advanced Methods for Human Biometrics
$99.00
Mathematik der Neuzeit
$64.99
Microglia in the Regenerating and Degenerating Central Nervous System
$169.99
Physikalische Rezepte: Mechanik
$29.99
Einkaufserlebnisse im Handel
$64.99
Weltlage
$39.99
Investitionsentscheidungen und Kapitalmarkttheorie
$69.99
Logic-Based Program Synthesis and Transformation
$54.99
Bank-Rechnungswesen
$59.99
Bone Remodeling and Osseointegration of Implants
$54.99
Mercks Reagentien-Verzeichnis, enthaltend die gebruchlichen Reagentien und Reactionen, geordnet na
$59.99
Proceedings of the 4th Congrs International de Gotechnique - Ouvrages -Structures
$329.99
Foundations of Theoretical Mechanics I
$39.99
Image-Guided Diagnosis and Treatment of Cancer
$109.99
Information Sharing and Data Protection in the Area of Freedom, Security and Justice
$219.99
Compact Modeling
$119.00
Evaluation of Interstitial Nerve Cells in the Central Nervous System
$109.99
Transactions on Engineering Technologies
$169.00
High-Linearity CMOS RF Front-End Circuits
$84.99
Lignocellulose Conversion
$169.99
Ethnobotany and Biocultural Diversities in the Balkans
$169.99
Anesthesia in High-Risk Patients
$159.99
Nonlinear Analysis of Thin-Walled Smart Structures
$179.99
Non-financial Disclosure and Integrated Reporting
$199.99
Algebra fr Einsteiger
$29.99
Advanced Systems-Level Problem Solving
$299.99
