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
The Radiotherapy of Malignant Disease
$54.99
Qualitt neu denken
$59.99
The Semantics of Opinion
$84.99
Phase Change with Convection: Modelling and Validation
$109.99
Hayek: A Collaborative Biography
$109.99
Computer Aided Verification
$54.99
Mass Customization
$109.99
Politik aus christlicher Verantwortung
$49.99
Dopamine in the CNS II
$599.99
Westermeiers Leitfaden fr die Frsterprfungen
$59.99
Atlas of Electroencephalography in Sleep Medicine
$179.99
Gung Hay Fat Choy
$5.21
Biologically Inspired Approaches for Locomotion, Anomaly Detection and Reconfiguration for Walking R
$109.99
Narrative Strategies in Television Series
$109.99
Native American Adoption, Captivity, and Slavery in Changing Contexts
$39.99
Die Haut- und Geschlechtskrankheiten im Staats-, Straf-, Zivil- und Sozialrecht
$59.99
Adjusting to EMU
$84.99
Electronic Fashion
$59.99
Konsum und Qualitt des Lebens
$59.99
Scholar Zone Summer ELA and Math Grade K (2 Scholar)
$230.00
Ordered Algebraic Structures
$129.00
The Virtuous Physician
$109.99
Issues in Teaching, Learning and Testing Speaking in a Second Language
$39.99
Growth and Form
$74.99
Morse Theory and Floer Homology
$99.99
Adjuvant Therapy for Breast Cancer
$219.99
Judicial Practice, Customary International Criminal Law and Nullum Crimen Sine Lege
$139.99
The Thunder: Perfect Mind
$139.99
Global Warming and the Climate Crisis
$99.99
Che Guevara
$169.99
AI and Analytics for Public Health
$249.99
Kognitive Erhaltungstherapie bei rezidivierender Depression
$39.99
Satellitengeodsie
$44.99
The Water Environment of Cities
$169.99
Testing Static Random Access Memories
$109.99
Analysis and Design of Descriptor Linear Systems
$54.99
Developments in Polymer Stabilisation8
$39.99
Clifford (Geometric) Algebras
$129.00
Verified Software: Theories, Tools, Experiments
$84.99
Bugblock (An Abrams Block Book) by Christopher Franceschelli
$17.99
