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:
Buy Verification, Model Checking, and Abstract Interpretation for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of 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
Brain Asymmetry and Neural Systems
$119.99
Damped Oscillations of Linear Systems
$49.95
Spinal Fusion
$84.99
Shakespeares Imagined Persons
$109.99
Cancer Cell Signaling
$109.99
Regionalism among Developing Countries
$129.00
Culture, Madness and Wellbeing
$129.99
Grundlagen und Erfolgsvorhersage der ambulanten Therapie mit Antidepressiva
$69.99
Hi Lo Adventure Chapter Books: I Am Underdog
$7.46
Nontuberculous Mycobacterial Disease
$199.99
Women and the Lebanese Civil War
$99.00
Yellow Owl Workshop's Make It YoursPatterns and Inspiration to Stamp, Stencil, and Customize Your
$16.26
Intelligent Computing
$189.00
Young People in Forensic Mental Health Settings
$119.99
Der neuzeitliche Straenbau
$59.99
The Economics of the Modern Construction Firm
$109.99
Chemisch-technisches Praktikum
$59.99
The Peasant Soul of Japan
$29.95
Survivable Optical WDM Networks
$84.99
Karma's World: Slumber Party Book
$6.74
The Government of the Peoples
$54.99
The Magic School Bus: The Magic School Bus Explores the Senses
$5.21
Selbstmanagement-Therapie
$29.99
Czechoslovakia
$109.99
Theoretische Mechanik
$29.99
Objektorientierte Programmierung in Oberon-2
$79.99
Werbungskosten
$44.99
Electronic Experiences in a Virtual Lab
$109.99
Zur Theorie der Unternehmung
$34.99
Mediators and Drugs in Gastrointestinal Motility I
$109.99
Old St Pauls and Culture
$129.00
Soziologie der Nchsten Gesellschaft
$34.99
Prparative Organische Photochemie
$59.99
Scholastic Early Learners- Level D: Mermaid School
$2.99
Remote Sensing Applications in Meteorology and Climatology
$259.00
Theorie und Anwendung der Laplace-Transformation
$44.99
Practical Applications of Fiberoptics in Critical Care Monitoring
$109.99
Skin Cancer Management
$89.00
Languages and Compilers for Parallel Computing
$39.99
Kosten der hubschraubergesttzten Notfallversorgung
$49.99
