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
Computer Aided Verification
Best Price (Coupon Required):
Buy Computer Aided Verification for $76.50 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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.
Reviews
Questions & Answers
Dynamic Learning Spaces in Education
$109.99
Radioactive Phosphorus in the Diagnosis of Gastrointestinal Cancer
$84.99
Graphical Heritage
$219.99
Unsichere Zeiten
$139.00
Das Antwerpener Motettenbuch Orlando di Lassos und seine Beziehungen zum Motettenschaffen der niede
$49.99
Airway Stenting in Interventional Radiology
$129.99
Trends and Issues in Global Tourism 2009
$39.99
Steuerlehre 1 Rechtslage 2018
$24.99
Epigenetic Regulation of Lymphocyte Development
$169.99
Britain and the Crisis of the European Union
$99.99
Pump Technology
$54.99
Hidden Champions of the Twenty-First Century
$54.99
Electromagnetic Wave Propagation in Turbulence
$84.99
Plant Cell Biotechnology
$219.99
Electron Spin Resonance
$84.99
Energy Science & Technology in China: A Roadmap to 2050
$89.00
Innovative Hand Exoskeleton Design for Extravehicular Activities in Space
$54.99
Canine Cognition and the Human Bond
$159.99
Sicherheitskritische Mensch-Computer-Interaktion
$64.99
Safe and Sustainable Use of Arsenic-Contaminated Aquifers in the Gangetic Plain
$84.99
Head and Neck Cancer Imaging
$129.00
Datenanalyse, Abstimmung und Entwicklung
$99.00
Professional Development for Primary Teachers in Science and Technology
$49.99
Integrales Logistikmanagement
$109.00
Optical Binding Phenomena: Observations and Mechanisms
$39.99
The Hatfield Photographic Lunar Atlas
$39.99
New Trade Union Activism
$54.99
Regional Aspects of Climate-Terrestrial-Hydrologic Interactions in Non-boreal Eastern Europe
$129.00
Proceedings of the International Conference on Innovations for Sustainable and Responsible Mining
$129.00
Systems, Decision and Control in Energy IV
$199.99
Transition, Turbulence, and Noise
$169.99
Artificial Economics
$109.99
Securing Biometrics Applications
$109.99
Reducing Space Mission Cost
$329.99
Intelligence and Security Informatics
$54.99
Selbstentwicklung von Fhrungsnachwuchskrften
$49.99
Sustainable Fashion Supply Chain Management
$169.99
Sprachenordnung und Minderheitenschutz im schweizerischen Bundesstaat
$189.00
Understanding Homosexuality: Its Biological and Psychological Bases
$39.99
Exobiology: Matter, Energy, and Information in the Origin and Evolution of Life in the Universe
$219.99
