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:
Buy Computer Aided Verification 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 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
Mobile Information Retrieval
$54.99
The Energy Security-Climate Nexus
$109.99
Funktionsdiagnostik in Endokrinologie, Diabetologie und Stoffwechsel
$69.99
Implementing Integrated Water Resources Management in Central Asia
$84.99
Andere Sichtweisen auf Subjektivitt
$59.99
Clinical Research Informatics
$109.99
Public Service Broadcasting and Post-Authoritarian Indonesia
$109.99
Kosten- und Leistungsrechnung industrieller Betriebe
$59.99
Fractures with Soft Tissue Injuries
$109.99
Biogeochemical Investigations at Watershed, Landscape, and Regional Scales
$219.99
Frontiers in European Radiology
$84.99
The Practice of Theoretical Curiosity
$84.99
Geo-Economy of the Future
$129.00
Musculoskeletal Diseases 2017-2020
$119.99
Graph Theory with Algorithms and its Applications
$54.99
Reading Lena Dunhams Girls
$109.00
Alkaloidhaltige Genussmittel Gewrze Kochsalz
$69.99
Similarity Search and Applications
$39.99
A Wicked History-20th Century: Adolf Hitler
$4.46
Semi-active Suspension Control
$109.99
The Cray X-MP/Model 24
$54.99
Euro-Bankmarketing
$44.99
Information Systems Management in the Big Data Era
$54.99
Astronomers as Diplomats
$159.99
Speaking of Gods in Figure and Narrative
$54.99
Data and Applications Security XXI
$39.99
Clinical Performance of Skeletal Prostheses
$84.99
Multilayer Networks: Analysis and Visualization
$169.99
Common Dermatologic Conditions in Primary Care
$109.99
Mighty Moms by Joan Holub
$7.99
Memoirs
$79.99
Creating a High-Quality Education Policy System
$139.99
Endometriose
$59.99
On Becoming a Leadership Coach
$59.99
Das Europische Unternehmensstrafrecht in Kartellsachen
$44.99
Stochastic Differential Systems
$39.99
Marion and Derrida on The Gift and Desire: Debating the Generosity of Things
$109.99
Der Einflu des Frostkerns auf die Imprgnierung der Buchenschwelle
$69.99
Zeichen und Sprache im Mathematikunterricht
$29.99
Family Politics in Early Modern Literature
$84.99
