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
New Advances in Information Systems and Technologies
$219.99
Water, Power and Citizenship
$109.99
Vulnerability Analysis and Defense for the Internet
$109.99
Transformation gesellschaftlicher Erfahrungsmuster in den Texten der Europischen Avantgarde am Beis
$79.99
Domestic Violence in Health Contexts: A Guide for Healthcare Professions
$69.99
Intermediate Filaments
$169.99
Applied Social Marketing and Quality of Life
$169.99
Classical and Modern Branching Processes
$84.99
Household Credit Usage
$39.99
Network Simulation and Evaluation
$129.00
Mind Reading as a Cultural Practice
$54.99
Gegenwelten
$39.99
Principles and Practice of Multi-Agent Systems
$49.99
Data Dissemination and Query in Mobile Social Networks
$39.95
Accounting Information and Equity Valuation
$129.99
Die mitochondrialen Atmungsketten-Komplexe: Funktion und Fehlfunktion bei neurodegenerativen Erkrank
$54.99
Mathematical Approaches to Biological Systems
$109.99
The Animalizing Imagination
$79.99
Waves in Plasmas
$109.99
Cenozoic Volcanism in the Tyrrhenian Sea Region
$169.99
Mathematical Analysis for Transmission of COVID-19
$169.99
Leben mit Herzerkrankungen
$29.99
Natural Language Processing in Biomedicine
$99.99
Solving the Dynamic Complexity Dilemma
$109.99
Art and Illusionists
$59.99
Reisen und Bildung
$44.99
New Synthetic Methods
$169.99
Electrochemistry for Cultural Heritage
$199.99
Fragmentation of Molecular Clouds and Star Formation
$54.99
Continuous Fuzzy Evaluation Methods: A Novel Tool for the Analysis and Decision Making in Football (
$39.99
Progress in Ultrafast Intense Laser Science VI
$84.99
High Temperature Alloys for Gas Turbines 1982
$329.99
Methods and Experiences in Impact Assessment
$219.99
Handbook of Theory and Practice of Sustainable Development in Higher Education
$249.99
Teaching Ethics with Three Philosophical Novels
$79.99
Clostridia
$249.99
The Political Economy of De-liberalization
$79.99
Qualitt in der Krisen- und Kriegsberichterstattung
$64.99
HCI in Games
$109.99
Das Natural-Leadership-Prinzip
$37.99
