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 $39.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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Reviews
Questions & Answers
Milde Hypertonie
$69.99
Faculty Development in Chinese Higher Education
$99.99
Diplomacy and International Law in Globalized Relations
$54.99
Brain Plasticity, Learning, and Memory
$84.99
The Psychology of Global Crises and Crisis Politics
$139.99
New Faculty
$89.00
Bildung fr nachhaltige Entwicklung in Schulen verankern
$84.99
The Englishized Subject
$84.99
Congestive Heart Failure
$189.00
Production Structure and International Trade
$54.99
Robust Control for Discrete-Time Markovian Jump Systems in the Finite-Time Domain
$109.00
Faith in Objects
$54.99
Solar-Terrestrial Relations and Physics of Earthquake Precursors
$179.99
Research Directions in High-Level Parallel Programming Languages
$39.99
Scholar Zone Extended Learning ELA Grade 3
$580.00
Steuerrechtliche Vorschriften des Wohnungsbaues in sterreich
$59.99
Ziffy, der Zahlenzauberer
$34.99
Lerne mit uns komplexe Statistik!
$24.99
Producing Green Knowledge and Innovation
$119.99
Natural Language Processing and Chinese Computing
$109.99
Kinder und Jugendliche mit Diabetes
$34.99
Doubling, Distance and Identification in the Cinema
$54.99
History and perspectives of cardiology
$54.99
Economic Change in East Malaysia
$74.99
ICTs and Development
$54.99
Advances in Swarm and Computational Intelligence
$54.99
Signal Transduction in Cancer
$129.00
Praktikum der Papierchromatographie
$69.99
Mechanistic Data Science for STEM Education and Applications
$44.99
New Approaches to the Economics of Plant Health
$219.99
Moderne Aufklrung
$19.99
Sexualities and Identities of Minority Women
$84.99
Long-Term Structural Health Monitoring by Remote Sensing and Advanced Machine Learning
$49.99
Geometric Harmonic Analysis III
$219.99
Zwischen Antisemitismus und Israelkritik
$39.99
Introduction to the Theory of Bases
$54.99
Urban Science and Engineering
$199.99
Malaria Immunology
$199.99
New Directions in Real Estate Finance and Investment
$109.99
Programming Languages and Systems
$54.99
