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
Effective Digital Learning
$29.99
Artificial Neural Networks and Machine Learning ICANN 2021
$109.99
Twas the Night Before Christmas!
$5.24
Contemporary Heritage Lexicon
$199.99
Refugees From Vietnam
$44.99
New Horizons for Failing Heart Syndrome
$54.99
La Garrotxa Volcanic Field of Northeast Spain
$109.99
Kosten- und Leistungsrechnung
$69.99
The Retina
$39.99
The Legitimization of Violence
$84.99
Homotopy Theoretic Methods in Group Cohomology
$39.95
Contemporary Capitalism and Civil Society
$129.99
Jugendliteratur in der politischen Bildung
$39.99
Early Organic Evolution
$84.99
Dynamic Pulse Buckling
$169.00
Das Panel
$69.99
Taking Psychology and Law into the Twenty-First Century
$129.00
Die Tonuskrankheiten des Herzens und der Gefsse
$59.99
Chemische Untersuchungsmethoden fr Eisenhtten und deren Nebenbetriebe
$59.99
Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 7
$299.99
Diabetes and COVID-19
$159.99
New Public Managers in Europe
$109.99
Systems, Software and Services Process Improvement
$119.99
The Proceedings of the 17th Annual Conference of China Electrotechnical Society
$449.99
Konstruktiver Ingenieurbau und Hochbau
$44.99
Zinkgruppe: Elemente der zweiten Nebengruppe
$17.99
Medical Image Computing and Computer Assisted Intervention MICCAI 2021
$89.00
Enhancing Nurses and Midwives Competence in Providing Spiritual Care
$54.99
Pedology
$74.99
Lebenslanges Lernen im Beruf seine Grundlegung im Kindes- und Jugendalter
$59.99
Analogue Gravity Phenomenology
$54.99
Advanced Materials in Smart Building Skins for Sustainability
$129.00
D.H. Lawrence, Music and Modernism
$89.99
Unvollkommene Mrkte in der keynesianischen Theorie
$59.99
Dispersion in Heterogeneous Geological Formations
$109.99
Identity and Ethnic Relations in Southeast Asia
$109.99
Fully Homomorphic Encryption in Real World Applications
$169.99
Free Radicals and Aging
$39.99
Theorie chemischer Elementarprozesse
$69.99
Urban Village Renovation
$109.99
