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 $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993. The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.
Reviews
Questions & Answers
The Psychologist's Guide to Professional Development
$79.99
Visualization and Mathematics III
$169.99
Das Parteiensystem der Bundesrepublik Deutschland
$49.99
Empire and Order
$109.99
Geoparsing Early Modern English Drama
$54.99
Dog Man: Brawl of the Wild (Hardcover)
$18.74
Little Scholastic-Baby Days: Baby Counts
$4.46
Digitalpakt was nun?
$64.99
When Politicians Talk
$139.99
Structure and Fiber Connections of the Hippocampus
$109.99
Tetracyclines in Biology, Chemistry and Medicine
$169.99
Ruby on Rails for PHP and Java Developers
$54.99
The Involvement of State Governments in US Foreign Relations
$54.99
Design of Solid-State Power Supplies
$219.99
Male Eating Disorders
$64.99
Fuzzy Lie Algebras
$89.00
Binary Systems from B-C to Cr-Zr
$549.99
Theoretische Untersuchungen ber die Einkommensverteilung
$59.99
Nabih Berri and Lebanese Politics
$54.99
Mental Health Informatics
$109.99
Alfonso de Valladolid. Ofrenda de Zelos. und Libro de la Ley
$59.99
Microbial Genomics in Sustainable Agroecosystems
$109.99
Paediatric Orthopaedics
$219.99
Domain-Specific Conceptual Modeling
$109.99
Auf dem Weg zur Arbeit 4.0
$79.99
Smart Business Technologies
$64.99
Eliten in Deutschland
$74.99
Bond Graph Modelling of Engineering Systems
$149.00
Fachbezogene Informationsverarbeitung
$49.99
Ethnic Minority-Serving Institutions
$54.99
The European Union at the United Nations
$54.99
Data Management, Analytics and Innovation
$129.00
Cultural Memories of Nonviolent Struggles
$39.99
Gieereimodelle
$69.95
Prventiver Umweltschutz und seine Organisation in Unternehmen
$69.95
New Developments in Singularity Theory
$109.99
Regelungstechnik mit Data Stream Management
$29.99
A History of Diabetes in Pregnancy
$169.99
Understanding and Managing Socioeconomic Systems Behaviour
$89.00
Advances in Solar Energy
$39.99
