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
Gravity, Cosmology, and Astrophysics
$99.99
Advanced Manufacturing in Biological, Petroleum, and Nanotechnology Processing
$149.00
Das Gesunde und Kranke Herz bei krperlicher Belastung
$59.99
Experimental Vibration Analysis for Civil Engineering Structures
$279.99
Staging Queer Feminisms
$54.99
Die rztliche Aufklrung fremdsprachiger Patienten Vertrags- und Deliktshaftung
$139.99
Contact Problems in the Classical Theory of Elasticity
$109.99
The Palgrave Handbook of African Traditional Religion
$279.99
Buchfhrung und Finanzberichte
$29.99
Measurement Errors and Uncertainties
$109.99
Personalbeschaffung und -freisetzung
$59.99
Symmetries of Maxwells Equations
$139.99
Wellbeing and the Worshipper
$129.99
Advances in Cryptology - CRYPTO '88
$39.99
The Concept of the Political
$54.99
Soft Computing for Complex Multiple Criteria Decision Making
$84.99
Narrative Identity in English Language Teaching
$109.99
Ein hochsensibles Jahr mit Gustav
$19.99
Diskussion und Debatte
$17.99
Recent Advances in Citrus Fruits
$169.00
Electrizitt und Magnetismus
$59.99
Proceedings of ELM-2015 Volume 1
$219.99
Pro Silverlight C#
$49.99
Praktische Mathematik II
$49.99
Besser und erfolgreicher kommunizieren
$44.99
Management of Functional Gastrointestinal Disorders in Children
$79.99
Matrix Metalloproteinases in Tissue Remodelling and Inflammation
$169.99
Polyurethane Elastomers
$219.99
Quick Guide Strategisches Management und Digitalisierung
$29.99
Power Systems Research and Operation
$119.00
Short-Term Psychodynamic Psychotherapy
$49.97
Fibrocystic Diseases of the Liver
$169.00
Spherical Tube Hypersurfaces
$54.99
The Palgrave Handbook of Screenwriting Studies
$249.99
Risk Navigation Strategies for Major Capital Projects
$39.99
William Shakespeare
$54.99
Deutsch fr Pflegekrfte
$49.99
Qualitative Aspects of Scale Systems
$39.99
Management of Medical Technology
$169.00
Agriculture, Food and Nutrition Security
$159.99
