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
Advances in Analytics and Applications
$84.99
Zielgruppen in der wissenschaftlichen Weiterbildung
$49.99
Recent Evolution and Seismicity of the Mediterranean Region
$169.00
Animal Species for Developmental Studies
$39.99
The Case for Trump by Victor Davis Hanson
$18.99
Quality of Communication-Based Systems
$84.99
Das Photo-Objektiv
$84.99
Computer Assisted Assessment -- Research into E-Assessment
$54.99
Pilgrimage in Popular Culture
$109.99
Business-to-Business Marketing im Facility Management
$59.99
Die radioaktive Strahlung als Gegenstand wahrscheinlichkeitstheoretischer Untersuchungen
$59.99
Statistical Tools for Measuring Agreement
$54.99
Designing Randomised Trials in Health, Education and the Social Sciences
$119.99
Humans on Earth
$49.99
Thackeray the Writer
$109.99
Human Agency and Material Welfare: Revisions in Microeconomics and their Implications for Public Pol
$84.99
Umgang mit psychisch erkrankten alten Menschen
$49.99
Integrationrecht und Finanzdienstleistungen
$49.99
Computer Analysis of Images and Patterns
$64.99
Matter (A True Book: Physical Science)
$5.96
A Broad View of Regional Science
$159.99
Basics of Hematopoietic Stem Cell Transplant
$179.99
Managing Biosecurity Across Borders
$129.00
The 2008 Presidential Elections
$84.99
Process Assessment and ISO/IEC 15504
$109.99
How Big is an Elephant?
$21.95
Histological Typing of Salivary Gland Tumours
$54.99
Cultural Landscapes of Israel
$139.00
Agent and Multi-Agent Systems: Technologies and Applications
$54.99
Chlamydomonas: Biotechnology and Biomedicine
$169.99
Beginning Drupal 7
$39.99
Superficial Liposculpture
$74.99
New Trends in Information and Communications Technology Applications
$99.99
Structure and Evolution of Galaxies
$39.99
Politische Kultur in stdtischen Rumen Parteien auf der Suche nach Whlern und Vertrauen
$69.99
New Results in Numerical and Experimental Fluid Mechanics II
$54.99
Handbuch Instandsetzung von Massivbrcken
$59.99
Monomial Ideals, Computations and Applications
$54.99
Formation of Teachers for Catholic Schools
$84.99
