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 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
Statistik interaktiv!
$69.95
Open Data for Education
$54.99
Ideas and European Education Policy, 1973-2020
$119.99
Geometric Topology: Recent Developments
$29.99
Smarte Events
$17.99
Engine Modeling and Control
$199.99
Osteoporosis Treatment
$169.99
Die Organisation der obersten Fhrung von Grounternehmen in Deutschland und den USA
$59.99
Startuperfolg und die Wahl von Risikokapitalgebern
$79.99
Journalismus und (sein) Publikum
$59.99
Capacity Building in Local Authorities for Sustainable Transport Planning
$44.99
Practical Web Inclusion and Accessibility
$39.99
National-Socialist Archaeology in Europe and its Legacies
$169.99
What's on My Farm - A slide-and-find book with flaps by Roger Priddy
$9.99
Biosphere and Environmental Safety
$84.99
Dreamworks The Bad Guys: A Very Bad Holiday Novelization
$4.49
Inschriften bis 1300. Probleme und Aufgaben ihrer Erforschung
$44.99
Projektkompass Softwareentwicklung
$54.99
Klinische Forschung
$84.99
Introduction to Robust and Quasi-Robust Statistical Methods
$54.99
Development and Quantification of Sustainability Indicators
$79.99
Spirituosen / Essig / Zuckerarten und deren Ersatzstoffe
$59.99
Buddhism and Abortion
$59.99
Advances in Complex Societal, Environmental and Engineered Systems
$109.99
Violence in Schools
$54.99
The Fifth Agreement- A Practical Guide to Self-Mastery by don Miguel Ruiz
$14.00
Factional Politics
$109.99
The Glaciers of Iceland
$179.99
Science Comics: The Brain: The Ultimate Thinking Machine
$9.71
The Future of Ubiquitous Learning
$39.99
Assessment Reform in Education
$119.00
Robot Play for All
$84.99
Advances on P2P, Parallel, Grid, Cloud and Internet Computing
$219.99
Inklusiver aufgabenorientierter Englischunterricht
$74.99
Word Sense Disambiguation
$109.99
Catheter-Related Infections in the Critically Ill
$39.99
Physics of Spin in Solids: Materials, Methods and Applications
$259.00
Mining Intelligence and Knowledge Exploration
$39.99
Youth, Inequality and Social Change in the Global South
$54.99
The Compliance Business and Its Customers
$54.99
