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
Migrating from Pascal to C++
$54.99
Das Widerspruchsprinzip in der Neueren Sowjetischen Philosophie
$89.99
Effektives Verhalten von Vertriebsmitarbeitern im Kundenkontakt
$69.99
Beitrge zur Kenntnis der Resorptiven Wirkungen der Oxydationsmittel
$49.99
Architectural Interior Lighting
$89.00
It's a Nonlinear World
$39.99
Elektronenmikroskopische Methodik
$54.99
Abhandlungen aus dem Aerodynamischen Institut an der Technischen Hochschule Aachen
$59.99
Everything Awesome About Space and Other Galactic Facts! (Hardcover)
$12.74
Flow Experience
$139.00
Geld, Kredit und Banken
$37.99
Principles of Chinese Management
$99.99
Medicinal and Aromatic Plants II
$169.99
Flat-Panel Displays and CRTs
$54.99
Current Treatment Options for Fuchs Endothelial Dystrophy
$169.99
Otto Loewi Ein Lebensbild in Dokumenten
$59.99
Development of Sensory Systems
$84.99
Rejection and Tolerance
$39.99
The Ultimate Experience
$169.99
Feed-Forward Neural Networks
$84.99
An Introduction to Programming with Mathematica
$54.99
Monte Carlo Methods in Quantum Problems
$219.99
Organisationsentwicklung und organisationales Lernen von Schulen
$64.99
Umweltplanung im internationalen Vergleich
$72.87
Interventional Critical Care
$179.99
So verkauft man Versicherungen
$59.99
Structure-Property Relationships in Surface-Modified Ceramics
$39.99
Business and the Euro
$84.99
Gesundheitskonomische Evaluationen
$59.99
Implications of Pyrite Oxidation for Engineering Works
$109.99
Empirische Studien
$59.99
Handbook of DSM-5 Disorders in Children and Adolescents
$449.99
Briefe an die Times
$59.99
Griechisch-rmische Komdie und Tragdie III
$29.99
Recent Developments in Anisotropic Heterogeneous Shell Theory
$54.99
Neutrino Physics in Present and Future Kamioka Watererenkov Detectors with Neutron Tagging
$109.99
When Managers Rebel
$44.99
Lebensmittelreport 91
$69.99
Erfolgreich als Handelsagent mit Fokus sterreich
$19.99
Wireless Ad Hoc and Sensor Networks
$109.99
