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 $76.50 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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.
Reviews
Questions & Answers
Postcolonial Settings in the Fiction of James Clarence Mangan, Joseph Sheridan Le Fanu and Bram Stok
$119.99
Intelligent Interpretation for Geological Disasters
$169.99
Vom Bankberater zum Beziehungsmanager
$34.99
The Impact of Law's History
$159.99
Zeitschriften und Medienunterhaltung
$64.99
Metal Ligand Chromophores for Bioassays
$299.99
The Practice of Research on Migration and Mobilities
$39.99
The Third International Conference on the Development of Biomedical Engineering in Vietnam
$169.00
Microbial Products for Health, Environment and Agriculture
$219.99
Aufgaben und Lsungen zur Elektronik und Kommunikationstechnik
$39.99
Principles and Practice of Constraint Programming - CP98
$84.99
Microgrids
$169.99
Integration and Modern Analysis
$139.99
Das Konzept der preisorientierten Qualittsbeurteilung
$54.99
Wege der Gesundheitsforschung
$59.99
An International Perspective on Economic Education
$169.99
Investing in Early Childhood Development
$39.99
Organisation der Arbeit
$59.99
Incompatibility in Angiosperms
$74.99
Autonomous Robotic Systems
$169.99
Bekmpfung der Folter in Europa
$44.95
Theory of Resonances
$109.99
Convex Analysis and Global Optimization
$289.00
Epilepsy Surgery: A Practical Case-Based Approach
$159.99
Homo Emotionalis
$64.99
Isoquinoline Alkaloids Research 19721977
$39.99
Managed Groundwater Recharge and Rainwater Harvesting
$159.99
The Rabbit House
$3.71
Polar Codes
$109.00
Water Pollution and Remediation: Organic Pollutants
$219.99
Physikalische Medizin
$69.99
Immunology and Blood Transfusion
$84.99
Nutrition and Dietary Interventions in Cancer
$159.99
Solar and Stellar Dynamos
$49.99
Thermodynamics of Energy Conversion and Transport
$129.00
kosystem Darm IV
$69.99
Existential Health Psychology
$64.99
Novellentheorie und Novellenforschung
$69.99
Vocational Learning
$109.99
HTTE - Das Ingenieurwissen
$49.99
