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
Ferroelectric-Gate Field Effect Transistor Memories
$99.00
The Role of Microstructure in Topical Drug Product Development
$179.99
Evaluation and Management of Chronic Pain for Primary Care
$99.99
Finite Mixture and Markov Switching Models
$169.00
The Reliability, Availability and Productiveness of Systems
$39.99
Dysmenorrhea and Menorrhagia
$99.99
Equality in International Society
$54.99
Categorical Combinators, Sequential Algorithms, and Functional Programming
$84.99
Popular Music Heritage
$89.00
Internationale Mergers & Acquisitions
$44.99
Dementia Care Mapping im interdisziplinren Diskurs
$64.99
The Politics of Public Memories of Forced Migration and Bordering in Europe
$54.99
Software Business Start-up Memories
$54.99
HMO Hckel Molecular Orbitals
$84.99
Optimale Stufenrdergetriebe fr Werkzeugmaschinen
$44.99
Leitfaden Kinderherzchirurgie
$69.99
Digital Technologies and Applications
$219.99
Entertainment Computing - ICEC 2014
$54.99
Klinik und Behandlung der Raumbeengenden Intrakraniellen Prozesse II
$44.99
Paid Work Beyond Pension Age
$99.99
Neue Systeme, EDV-Konzepte und Controlling-Instrumente
$59.99
Internationaler Motorenkongress 2023
$159.99
IT-Risikomanagement leben!
$19.95
Strategischer Wandel und zivil-militrischer Konflikt
$74.99
Lung Inflammation in Health and Disease, Volume I
$299.99
Reconstructing Theatre Architecture
$169.99
HCV: The Journey from Discovery to a Cure
$449.99
Erwachsenenbildung und Migration
$49.99
Digitalisierung in der Immobilienbranche
$54.99
Holomorphic Foliations with Singularities
$54.99
Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Servi
$39.99
Organisationsentwicklung und Fachlichkeit
$59.99
Nano, Quantum and Molecular Computing
$129.00
Practical Guide to Salesforce Communities
$29.99
Ethnicity, Gender and Social Change
$59.00
Chatbot Research and Design
$64.99
Magical Treasure Hunting in Europe and North America
$139.99
Electrotherapy of the Heart
$109.99
Lesesozialisation in der Familie
$49.99
Science Teachers Use of Visual Representations
$84.99
