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
Scientific Engineering for Distributed Java Applications
$39.99
Learn CakePHP
$19.99
Engineer Your Software!
$59.99
Introduction to Stochastic Networks
$84.99
Global Life Cycle Impact Assessments of Material Shifts
$169.99
I Am Enough
$5.99
Planspiele im Internet
$59.99
Ultrasound of the Musculoskeletal System
$219.00
Optimization of Structures and Components
$109.99
Model-Driven-Configuration-Management
$69.99
Protokolle der Volkskammer der Deutschen Demokratischen Republik
$64.99
Die Kennlinien einer Freistrahlturbine im Triebgebiet sowie im Bremsgebiet und die Wirkungsgrade im
$59.99
MRT der Gelenke und der Wirbelsule
$89.00
Humanistic Perspectives in Happiness Research
$109.00
Africa Unchained
$99.99
Community Mental Health and Behavioral-Ecology
$54.99
Sustainability and Intelligent Management
$219.99
Patterns of Rationality
$54.99
Product Lifecycle Management in the Digital Twin Era
$109.99
Rights, Promotion and Integration Issues for Minority Languages in Europe
$109.99
Essential Goals in World Politics
$109.99
Network Intelligence
$169.99
University and School Collaborations during a Pandemic
$59.99
Breaking the Frames
$59.99
Designing Digital Work
$31.00
Modeling and Analysis of Linear Hyperbolic Systems of Balance Laws
$109.99
QCD: Renormalization for the Practitioner
$74.99
Fields of Logic and Computation III
$54.99
Ginzburg-Landau Phase Transition Theory and Superconductivity
$109.99
Radical Reform in Irish Schools, 1900-1922
$139.99
Angewandte Forschung fr die Stahlerzeugung in den Unternehmen, auf nationaler Ebene und in der Euro
$69.99
Suspended Matter in the Aquatic Environment
$84.99
Simulation dynamischer Systeme
$69.99
Semiempirical Methods of Electronic Structure Calculation
$39.99
Therapie der koronaren Herzerkrankung
$69.99
National Regulation of Space Activities
$259.00
Silencing Race
$109.00
Beginning Android ADK with Arduino
$39.99
Investment Appraisal
$119.00
Ion Beams in Materials Processing and Analysis
$199.99
