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
Glaciation and Speleogenesis
$109.99
Mitochondria in Health and in Sickness
$189.00
Beschaffung von IT-Leistungen
$39.99
Participatory Research for Health and Social Well-Being
$84.99
Komplexitt und Einfachheit
$119.99
Topological and Variational Methods with Applications to Nonlinear Boundary Value Problems
$109.99
Endstadien der Sternentwicklung. Quantenmechanische Rotationsanregungen in Kristallen
$59.99
Ergebnisse der Chirurgie und Orthopdie
$59.99
The Nature of the Economy
$119.99
Green Buildings and Sustainable Engineering
$219.99
Unsere Spechte und ihre forstliche Bedeutung
$79.99
Environmental Security and Public Safety
$219.99
Die Anwendung der lndlichen Bodenordnung bei der Renaturierung und naturnahen Entwicklung von Flie
$17.99
Das japanische Unternehmen
$59.99
Die Werkwiedergabe im Web 2.0
$64.99
Ingenieur-Mathematik
$44.99
Scarlet Letters
$59.99
Shape in Medical Imaging
$39.99
1972 (Exploring Civil Rights: The Rise)
$8.99
Contemporary Collaborative Consumption
$49.99
Internationalisierung mittelstndischer Zulieferunternehmen
$49.99
ber die lymphogen aufsteigende Niereninfektion in ihrer Bedeutung fr Harnwege-Darm-Verbindung
$59.99
Strategy and Structure of Japanese Enterprises
$54.99
Mix-Design and Application of Hydraulic Grouts for Masonry Strengthening
$159.99
The Uses of the Middle Ages in Modern European States
$54.99
Analysis and Geometry in Several Complex Variables
$39.99
Autoethnography and Organization Research
$64.99
Contemporary Street Arts in Europe
$54.99
Cellular Automata Transforms
$169.99
Best of springerprofessional.de 2024: Marketing + Vertrieb
$19.99
The Development of E-governance in China
$54.99
Botanik
$49.99
Hymenoptera-Heterogyna: Formicidae
$54.99
Produktmodifikation
$49.99
Stingless Bee Nest Cerumen and Propolis, Volume 1
$249.99
Biomedical Informatics
$119.99
Financial Structure and Stability
$54.99
Der dritte Parameter und die asymmetrische Varianz
$17.99
Berufserfolg von Akademikerinnen und Akademikern
$49.99
The Service Productivity and Quality Challenge
$129.00
