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
Systems Analysis and Simulation I
$109.99
Legal Geography
$159.99
Geologic Modeling and Simulation
$169.99
Economics of Information Security and Privacy
$219.99
Feldanalyse als Forschungsprogramm 2
$49.99
Beirte in der Verantwortung
$79.99
Optimization with PDE Constraints
$159.99
Professional Discourses, Gender and Identity in Women's Media
$49.99
Peace and Authority During the French Religious Wars c.1560-1600
$39.99
Physico-Chemical Behaviour of Atmospheric Pollutants
$39.99
Die Mglichkeiten der Flzparallelisierung mit kohlenpetrographischen Methoden am Beispiel der Zollv
$44.99
A Multi-Gear Strategy for Economic Recovery
$109.99
The French Debate
$99.00
The New Journalism, the New Imperialism and the Fiction of Empire, 1870-1900
$54.99
Handbuch Unternehmenskommunikation
$159.00
Insecurity & the Rise of Nationalism in Putin's Russia
$39.99
Erdbebenbeanspruchung von Beton- und Leichtbetonbauwerken nach verschiedenen Normen und Berechnungsv
$49.99
Excel as Your Database
$34.99
Abhilfemanahmen in der Fusionskontrolle und Ausgleichsmanahmen in der Banken-Beihilfenkontrolle
$49.99
Object-Based Distributed Programming
$39.99
Hyperbolic Functional Differential Inequalities and Applications
$84.99
Young People Shaping Democratic Politics
$139.99
Source and Channel Coding
$129.00
A World In Transition: Humankind and Nature
$129.00
Artistic Visions and the Promise of Beauty
$109.99
International Migration of China
$119.99
Standardisierung in der gymnasialen Oberstufe
$44.99
Badass Vegan - Fuel Your Body, Ph*Ck The System, and Live Your Life Right by John W. Lewis
$35.00
Service Learning as Pedagogy in Early Childhood Education
$119.99
Modellierung derivater Finanzinstrumente
$37.99
Prvention kardiovaskulrer Erkrankungen und Atherosklerose
$17.99
Photoelectrochemistry
$39.99
Pathways for Cytolysis
$109.99
The Challenge of Sustainability in Agricultural Systems
$139.99
Konjunktur- und Wachstumspolitik in der offenen Wirtschaft
$59.99
Foot and Ankle Disorders
$139.00
Arzneiverordnungs-Report 2014
$59.99
Genetic and Molecular Epidemiology of Multiple Myeloma
$169.99
Drinking Water Treatment
$84.99
Decolonizing the Spirit in Education and Beyond
$129.99
