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
Fuzzy Equational Logic
$129.00
Database Systems for Advanced Applications. DASFAA 2020 International Workshops
$39.99
Principles of Therapy in the Epilepsies
$54.99
Objects, Structures, and Logics
$159.99
Visual Data Mining
$84.99
Orchid Species from Himalaya and Southeast Asia Vol. 3 (R - Z)
$199.99
Whatever After: If the Shoe Fits
$5.99
Advanced Functional Programming
$54.99
Exkursionsbuch zum Bestimmen der Vgel in freier Natur nach ihrem Lebensraum geordnet. Fr Laien und
$84.99
Neuer Lebensstil verzichten oder verndern?
$69.99
Multiscale Methods in Quantum Mechanics
$129.00
Foreign Investment, Transnationals and Developing Countries
$59.99
Build Your Own IoT Platform
$49.99
Basic Income and the Free Market
$84.99
Qualitative Sozialforschung
$39.99
Advances in Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries
$129.00
Lords of Misrule
$54.99
Befragung von Pflegekunden
$29.99
Control Under Lack of Information
$39.99
Mani und sein Religionssystem
$44.99
Risikoverhalten privater Kapitalanleger
$74.99
JIMD Reports, Volume 40
$54.99
Mass Spectrometry-Based Proteomics
$219.99
Cloud Computing CLOUD 2022
$59.99
Environmental Management and Decision Making for Business
$109.99
Intermedia Pollutant Transport
$39.99
Modern Trends in Hypnosis
$39.99
Essays on Mathematical and Philosophical Logic
$219.99
Dominant Language Constellations Approach in Education and Language Acquisition
$169.99
The Faust Myth
$54.99
Wachstumsfaktoren und Onkogenprodukte bei Entstehung und Regression der Arteriosklerose
$59.99
Molecular Dynamics of Biomembranes
$84.99
China in the Xi Jinping Era
$109.00
Creative Compassion, Literature and Animal Welfare
$54.99
New Developments in Industrial Wastewater Treatment
$129.00
Computerized Systems for Diagnosis and Treatment of COVID-19
$149.00
Government-Business Relations and Regional Development in Post-Reform Mexico
$54.99
Teaching, Affirming, and Recognizing Trans and Gender Creative Youth
$37.99
Principles of Molecular Cardiology
$169.00
Emerging Nanodielectric Materials for Energy Storage
$149.00
