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
Approximation Theory, Wavelets and Applications
$329.99
Transactional Psychology of Education
$109.99
Service-Oriented and Cloud Computing
$64.99
Dijet Angular Distributions in Proton-Proton Collisions
$109.99
Substrat- und Textilbeschichtung
$84.99
Manufacturing, Automation Systems and CIM Factories
$169.99
Microwave Methods in Organic Synthesis
$379.99
The Many Faces of Imitation in Language Learning
$109.99
Forstliches Rechnen
$79.99
The Morality of Business
$54.99
Diseases of the Pancreas
$329.99
An Expert Systems Approach to Computer-Aided Design of Multivariable Systems
$39.99
Post-conflict Security, Peace and Development
$39.99
Sonne, Mond und ... Schwarze Lcher
$79.99
Das Spiel: Muster und Metapher der Mediengesellschaft
$39.99
Disclosing Childhoods
$139.99
Scholastic Early Learning Library for Ages 0-3
$299.00
Key Technologies for On-Demand Network Services
$199.99
Jahrbuch zur Mittelstandsforschung 1/2007
$44.99
The Vanishing World of The Islandman
$27.99
Der Brandverletzte
$69.95
Wirksame Angina-Prophylaxe in Kinderheimen
$49.99
The Web Professionals Handbook
$74.99
The Freshwater Ecosystems of Suriname
$129.00
Locomotion of Animals
$74.99
Proceedings of the 3rd International Conference on Electronic Engineering and Renewable Energy Syste
$379.99
Friedrich Wilhelm Sertrner der Entdecker des Morphiums
$69.99
Medical Data Mining and Knowledge Discovery
$219.99
Food Safety Management
$109.99
Modeling Dynamic Climate Systems
$54.99
Maternal Mortality - Lessons Learnt from Autopsy
$109.99
Contemporary Peacemaking
$49.99
Wissensarten und ihre Darstellung
$69.99
Virtual Environments and Scientific Visualization 96
$54.99
Fraktale Metropolen
$74.99
Basiswissen Immunologie
$29.99
The Nanoscale Optical Properties of Complex Nanostructures
$109.99
Einfhrung in die Datenverarbeitung
$54.99
Lebenslanges Lernen fur die Medienwelt von morgen
$74.99
Kalevi Holsti: Major Texts on War, the State, Peace, and International Order
$54.99
