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
Mehrphasige Polymersysteme
$39.99
Tanzsprache und Orientierung der Bienen
$99.00
Planets in Binary Star Systems
$169.99
Psychologie der Lebenskunst
$34.99
Chemistry for a Clean and Healthy Planet
$169.99
Beginning jQuery
$24.99
Die Praxis der Kreditgewhrung
$59.99
Policy Analytics, Modelling, and Informatics
$129.00
The Hypertrophied Heart
$169.99
Eriophyoid Mites: Progress and Prognoses
$169.99
Optimizing Breast Cancer Management
$169.99
Challenge of Transport Telematics
$54.99
Judges, Judging and Humour
$159.99
Building Sustainable Health Ecosystems
$54.99
Fuzzy Sets and Interactive Multiobjective Optimization
$169.99
A Long Petal of the Sea: A Novel by Isabel Allende
$18.00
Hilbert Spaces and Operator Theory
$109.99
Calcium Signaling Protocols
$84.99
Software Engineering: A Hands-On Approach
$54.99
Computer Aided Surgery
$54.99
The Law of Interactions Between International Organizations
$179.99
Einfhrung in die Lineare und Nichtlineare Optimierung fr Ingenieure
$49.99
Automata, Languages and Programming
$84.99
Performance Characterization and Benchmarking
$54.99
Wachstumstheorie
$39.99
Enterprise Architecture Patterns
$89.99
Engineered Zinc Finger Proteins
$89.00
Geochemie und Umwelt
$74.99
Advances in Usability, User Experience, Wearable and Assistive Technology
$169.00
Marital Therapy
$54.99
Photosynthesis in Algae: Biochemical and Physiological Mechanisms
$249.99
Advances in Applied Research on Textile and Materials - IX
$169.00
African Economies in Transition
$169.99
Sie wollen mir doch was verkaufen!
$49.99
Political Science and Chinese Political Studies
$169.99
Die Bahn des knstlichen Erdsatelliten 1958 Delta 2
$59.99
Speciality Polymers/Polymer Physics
$84.99
Mikromagnetische Charakterisierung des Ermdungsverhaltens und der Eigenspannungsrelaxation tiefgebo
$89.99
Technologie der Textilfasern
$59.99
The Ambiguous Multiplicities
$54.99
