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
Three Decades of Mathematical System Theory
$39.99
Vibration of Buildings to Wind and Earthquake Loads
$54.99
Multiagent Systems
$29.99
Industrielle Pulverbeschichtung
$69.99
Beitrge zur Nervenphysiologie von Mytilus edulis
$59.99
Modern Data Strategy
$89.00
Festigkeitslehre fr den Konstrukteur
$59.99
Banana Fox and the Secret Sour Society
$5.99
Berechnung lngsstarrer Rahmen / Untersuchungen zur Beulwertberechnung von Rechteckplatten
$59.99
Number Theory
$34.99
Biotechnology and Sustainable Agriculture 2006 and Beyond
$249.99
Stability of the Turnpike Phenomenon in Discrete-Time Optimal Control Problems
$54.99
Algebra and Related Topics with Applications
$189.00
Algorithms and Models for the Web Graph
$54.99
Handbuch der Spread-Spectrum Technik
$44.99
Advances in Acoustic Microscopy
$169.00
Stochastic Partial Differential Equations and Their Applications
$39.99
Algorithms and Architectures for Parallel Processing
$54.99
AI 2007: Advances in Artificial Intelligence
$84.99
The Ethics of Space Exploration
$99.00
tipos malos en Misin improbable (The Bad Guys in Mission Unpluckable)
$4.49
Arrivierte Frauen
$39.99
Structural Control
$39.99
Wirtschaftsinformatik 93
$59.99
Theoretical Aspects of Computing ICTAC 2020
$54.99
Map-based Mobile Services
$129.00
Queueing Theory with Applications to Packet Telecommunication
$84.99
Toward a Science of Man in Society
$54.99
Impacts in Mechanical Systems
$84.99
The Physics of the Two-Dimensional Electron Gas
$54.99
Talentmanagement durch Trainee-Programme
$84.99
Heat and Mass Transfer in the Melting of Frost
$54.99
Kostenrechnung, Unsicherheit und Organisation
$59.99
Betaferon
$49.99
Migrant Masculinities in Womens Writing
$119.99
Eigenvalues of Non-Linear Problems
$49.95
The Dinaric Karst System of Croatia
$119.00
Research on Chemical Mechanical Polishing Mechanism of Novel Diffusion Barrier Ru for Cu Interconnec
$109.99
Wireless Sensor Networks
$54.99
Hmodynamisches Monitoring
$69.99
