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 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 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
Pain Research
$74.99
Interaktive Einkaufserlebnisse in Innenstdten
$64.99
Univariate Stable Distributions
$79.99
Global Media Arts Education
$179.99
Wertorientierte Steuerung von Risiken im Informationsmanagement
$74.99
Advanced Characterization Techniques, Diagnostic Tools and Evaluation Methods in Heritage Science
$159.99
Clinical Chemistry
$84.99
Magmatism in Extensional Structural Settings
$84.99
Social Change and Personality
$109.99
Electromagnetic Behaviour of Metallic Wire Structures
$109.99
Robuste Planung und Optimierung
$149.99
Parallel Computational Technologies
$54.99
Proceedings of the Twenty-Fifth Symposium on Biotechnology for Fuels and Chemicals Held May 47, 200
$169.00
Performance Evaluation Methodologies and Tools
$84.99
The Policy of Simmering
$39.99
Influenza Models
$39.99
A History of War Crimes Trials in Post 1945 Asia-Pacific
$84.99
Corporate Capitalism and the Integral State
$109.00
The GCC Economies
$199.99
Forest Transition Deficiency Syndrome
$54.99
Italy in the New International Order, 19171922
$159.99
Operations Research and Health Care
$169.00
Biographien gestalten durch lebenslange Lernprozesse
$37.99
Nibelungenlied
$29.99
Rights-based Integrated Child Protection Service Delivery Systems
$99.99
Queering the Moderns
$39.99
Georg Simmel und die Entstehung der Soziologie in Deutschland
$59.99
Pattern Recognition, Machine Intelligence and Biometrics
$219.99
Monitoring the Comprehensive Nuclear-Test-Ban-Treaty: Hydroacoustics
$54.99
Artinian Modules over Group Rings
$44.99
Rheumatic Fever
$39.99
Measures of Complexity and Chaos
$39.99
Science Journalism in the Arab World
$139.99
Molecular Mechanisms of Plant and Microbe Coexistence
$219.99
Measure, Integration & Real Analysis
$59.99
Untersuchungen zum Buckelschweien von Stahlblechen unter Verwendung verschiedener Buckeltypen
$59.99
Grundri der Verfassung und Verwaltung in Preuen und dem Deutschen Reiche
$59.99
Offene Innovationsprozesse
$69.99
Food Nanoscience and Nanotechnology
$109.99
Theodor Storm
$29.99
