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 Molecular Structure of Amino Acids
$39.99
Learning Abstract Algebra with ISETL
$54.99
Das Lehrstck Holocaust
$59.99
Molecular Analysis of B Lymphocyte Development and Activation
$169.99
Self-Induced Fault of a Hydraulic Servo Valve
$54.99
DNA Computing and Molecular Programming
$69.99
The Crisis of Caregiving
$30.00
User-Generated Content and its Impact on Branding
$54.99
Die Lebenswelt
$589.00
Regime Consequences
$169.99
Space Supporting Africa
$54.99
Meeting the Language Challenges of NATO Operations
$54.99
Synthetic and Structural Problems
$39.99
Dispersal Centres of Sphingidae (Lepidoptera) in the Neotropical Region
$54.99
Carbon Sequestration in Urban Ecosystems
$129.00
Biosurveillance in New Media Marketing
$39.99
Entire Slice Regular Functions
$54.99
Mental Health, Intellectual and Developmental Disabilities and the Ageing Process
$179.99
Artificial Life and Evolutionary Computation
$49.99
Engineered Zinc Finger Proteins
$89.00
Semantic Web Information Management
$109.99
Knowledge Communities in Europe
$54.99
Nonlinear and Adaptive Control of Complex Systems
$109.99
Beginning PHP and MySQL E-Commerce
$44.99
Endothelin and Its Inhibitors
$39.99
The Reconstruction of International Monetary Arrangements
$169.99
Wandlungsfhige Produktionsunternehmen
$89.99
The Purchasing Chessboard
$44.99
Biogas Science and Technology
$169.99
Investition und Liquiditt
$59.99
Advances in Happiness Research
$109.99
Image-Based and Fractional-Order Control for Mechatronic Systems
$139.99
VPC Simulation und Test 2016
$139.99
Business Analytics for Professionals
$89.99
Vermessung im Bauwesen
$37.99
Psychological Perspectives on Reality, Consciousness and Paranormal Experience
$109.99
Protocols for Cyanobacteria Sampling and Detection of Cyanotoxin
$199.99
Kindliche Nutzerwelten in der kulturellen Bildung
$49.99
Die Kreditgeldwirtschaft
$39.99
Geschlechterdemokratie
$64.99
