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 $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 strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997. The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.
Reviews
Questions & Answers
Rediscovering the Titanic (A True Book: The Titanic)
$5.99
New Work, transformatorische und virtuelle Fhrung
$79.99
Advances in Human Factors in Sports and Outdoor Recreation
$84.99
The Proceedings of the 18th Annual Conference of China Electrotechnical Society
$299.00
Physik ganz smart
$39.99
Atlas of coloscopy
$39.99
Love between Men in English Literature
$19.99
Laser und Strahlenschutz
$79.99
Lehrbuch der Maschinendynamik
$34.99
Cell-Free Protein Synthesis
$169.99
Best Practices for the Knowledge Society. Knowledge, Learning, Development and Technology for All
$109.99
The Story of Easter by Patricia A. Pingry
$7.99
Entscheidungsfehler bei der Personalauswahl vermeiden
$17.99
Regierungssysteme und Reformen
$44.99
Theory and Practice of Geophysical Data Inversion
$39.99
Grundlinien der Antiken Rechts- und Staatsphilosophie
$49.99
Chemie der Pflanzenschutz- und Schdlingsbekmpfungsmittel
$54.99
Epidemiology of Malignant Melanoma
$84.99
Future Intelligent Vehicular Technologies
$39.99
Kunststoffe im Kreislauf
$74.99
kosysteme im Mittelstand
$64.99
Implementing Operations Management Suite
$37.99
Mathematical Modeling in Cultural Heritage
$149.00
Weltliteratur
$74.99
The Cultural Evolution of Postwar Japan
$54.99
Ada in Practice
$84.99
Global Values Education
$109.99
Ernst Florens Friedrich Chladni
$69.95
uvres Compltes II - Collected Papers II
$219.00
Developing Multi-Database Mining Applications
$84.99
Ingenieurgeologie und Geomechanik im Talsperren- und Tunnelbau / Engineering Geology and Geomechanic
$59.99
Natural Resource Management and Local Development
$169.99
Theoretische und experimentelle Beitrge zur Grenzschichtstrmung
$59.99
Evolving European Perceptions Amidst Asian Neighbours
$139.99
Psychologische Begutachtung von Familien mit Migrationshintergrund
$49.99
Distributed Autonomous Robotic Systems 5
$39.99
Medical Factors and Psychological Disorders
$39.99
Coordination, Cooperation, and Control
$109.99
Unternehmenskommunikation bei Privatisierungen ffentlicher Unternehmen
$109.00
The Regulation of Sex-Themed Visual Imagery
$89.99
