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
Einstieg in das Influencer Marketing
$17.99
Antiviral RNAi
$169.99
Exploring the Trust and Innovation Mechanisms in M&A of Chinas State Owned Enterprises with Mixed O
$139.99
Advanced Control of Electrical Drives and Power Electronic Converters
$179.99
Brave Dave
$5.24
Primary and Secondary Metabolism of Plant Cell Cultures
$84.99
Die Krankheiten der Orbita. Pulsierender Exophthalmus
$59.99
Managing Towards Supply Chain Maturity
$109.99
Modern Optical Spectroscopy
$69.99
Dynamic Perspectives on Managerial Decision Making
$219.99
Entscheidungsorientiertes Rechnungswesen mit Daten- und Methodenbanken
$69.99
New Techniques for Future Accelerators
$39.99
Visible and Invisible
$37.99
Mobile Datenbanksysteme
$49.99
Theorie der logischen Programmierung
$59.99
BGB Allgemeiner Teil
$19.99
Groupwork in Occupational Therapy
$84.99
Plant Breeding Reviews
$39.99
Android Studio Game Development
$29.99
A Guide to Redundancy Law
$44.99
Recent Findings in Intelligent Computing Techniques
$169.99
From Capital Surges to Drought
$109.99
Verified Software: Theories, Tools, Experiments
$54.99
Techniques and Management of Personnel Thermoluminescence Dosimetry Services
$329.99
Transition-Metal Defects in Silicon
$109.99
Cholestatic Liver Diseases in Children and Adults
$109.99
Eismitte in the Scientific Imagination
$39.99
Bilanzen der funktionalen Kontorechnung
$59.99
Recht und Wirtschaft bei der Planung und Durchfhrung von Bauvorhaben
$54.99
The Unity of the European Constitution
$54.99
Empirisches mathematisches Wissen in der Grundschule
$64.99
Statecraft in Symbols
$49.99
A Research Agenda for a Human Rights Centred Criminology
$129.99
Controlling im Betrieblichen Gesundheitsmanagement
$44.99
Frieden durch Recht Anfragen an das liberale Modell
$24.99
Product Lifecycle Management in the Digital Twin Era
$109.99
Motivationsforschung im Weiterbildungskontext
$44.99
Ren Knig
$59.99
New Data and Updates for several IIa-VI Compounds (Structural Properties, Thermal and Thermodynamic
$549.99
Fixing Patriarchy
$109.99
