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
Iron-Based Superconducting Thin Films
$199.99
Gender and Lynching
$39.99
Das europische Projekt zu Beginn des 21. Jahrhunderts
$59.99
Advances in Computer Entertainment Technology
$229.00
Intelligent and Evolutionary Systems
$219.99
The Econometrics of Panel Data
$129.00
Biology of Memory
$54.99
Matriarchy and Power in Africa
$39.99
Foreign Gene Expression in Fission Yeast: Schizosaccharomyces pombe
$129.00
Stealing Time
$6.66
Die CSU
$64.99
From Bench to Boardroom
$32.99
Krisen und Strukturvernderungen in der Finanzindustrie
$44.99
My Books Summer Spanish Grade 1 Nonfiction - Classroom Set
$795.00
Algebra fr Hhlenmenschen und andere Anfnger
$17.99
Einfhrung in die Rechtswissenschaft
$59.99
Rechneruntersttzte Planung flexibler Montagesysteme
$69.99
Wildlife Conservation Evaluation
$39.99
Multifield Problems
$169.99
Arbeitsmethoden im Radioisotopen-Laboratorium
$49.99
Emerging Trends in Chemical Sciences
$229.00
Instrumental Social Justice in Higher Education
$44.99
Der Einfluss unbewusster Motive auf den Entscheidungsprozess
$49.99
Computational Science and Its Applications ICCSA 2023 Workshops
$79.99
Positively Poetry Grades 3-5
$36.00
The Paris Lectures
$49.99
Controlled Interphases in Composite Materials
$109.99
Ein Jahrhundert Mathematik 1890 1990
$99.00
Religion on Our Campuses
$109.99
Analysen des transnationalen Terrorismus
$59.99
R.E.A.L. Base Set A Grade 6 (10-Pack)
$369.99
Real-time Iterative Learning Control
$109.99
Advances in Mechanics and Mathematics
$169.99
Fundamentals and Frontiers of the Josephson Effect
$189.00
Exploring Science Through Science Fiction
$29.99
Transactions on Data Hiding and Multimedia Security IX
$54.99
Advances in Databases and Information Systems
$39.99
Venezuela, ALBA, and the Limits of Postneoliberal Regionalism in Latin America and the Caribbean
$84.99
Warum Gesprche scheitern
$19.99
Strategic Human Resource Management in Higher Education
$169.99
