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 $36.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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.
Reviews
Questions & Answers
Medical Image Computing and Computer Assisted Intervention MICCAI 2023
$109.99
Bedeutung und Wirkung von Schriftformklauseln
$49.99
Blots Card Game
$11.99
Facetten der Mathematikdidaktik
$49.99
Profit Shifting and Tax Base Erosion
$109.99
The Productivity and Sustainability of Southern Forest Ecosystems in a Changing Environment
$39.99
Ecology of Blue Straggler Stars
$109.99
Stochastic Hybrid Systems
$129.00
Jugend im Generationen-Kontext
$59.99
Pictures, Images, and Conceptual Change
$109.99
Vom Umgang mit schwierigen Menschen
$49.99
Theatre and Globalization: Irish Drama in the Celtic Tiger Era
$54.99
High Performance Computing
$89.99
Ein Verfahren zur automatischen Generierung von software-ergonomisch gestalteten Benutzungsoberflch
$59.99
Authentische Karriereplanung
$29.99
Enduser Systems and Their Human Factors
$39.99
Genomic Designing for Abiotic Stress Resistant Technical Crops
$199.99
Chirurgische Diagnostik
$74.99
The Bile Acids, Chemistry, Physiology, and Metabolism
$84.99
Ergodic Theory, Hyperbolic Dynamics and Dimension Theory
$64.99
Intelligent Computing Systems
$39.99
Exchange Server 2000: Installieren - Konfigurieren - Administrieren - Optimieren
$54.99
Business Information Systems Workshops
$54.99
The Chinese Cultural Revolution Reconsidered
$129.99
Zur Phnomenologischen Reduktion
$399.99
Mindful Medical Practitioners
$79.99
Private International Law in China
$54.99
The Columbia Guide to Basic Elements of Eye Care
$159.99
Vorankndigung von Neuprodukten
$59.99
Klassifikation maligner Tumoren des ZNS und der Augen
$74.99
Transformative Education for Regeneration and Wellbeing
$129.00
Essential Pharmaceutics
$99.99
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV
$54.99
Mitochondrial Diseases
$159.99
Radiation in Space: Relevance and Risk for Human Missions
$69.99
Handbook of Water Resources Management: Discourses, Concepts and Examples
$279.99
Recent Trends in Image Processing and Pattern Recognition
$99.99
City and Modernity in Georg Simmel and Walter Benjamin
$129.99
Vierstellige Logarithmen-Tafeln nebst Hilfstafeln fr das praktische Rechnen
$59.99
Post-Keynesian Economic Theory
$109.99
