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
Prevention of Type 2 Diabetes
$89.00
The Crusades and Nature
$149.99
Mathematical Modeling of Biological Processes
$49.99
Web Services, E-Business, and the Semantic Web
$39.99
Gren, Einheiten, Formelzeichen
$17.99
The Politics of Moderation in Modern European History
$139.99
Theory of Low-Temperature Plasma Physics
$169.99
CASL Reference Manual
$109.99
International Handbook of Research in Statistics Education
$799.99
Functional Organization of Descending Supraspinal Fibre Systems to the Spinal Cord
$54.99
Functional Approach to Professional Discourse Exploration in Linguistics
$44.99
Philosophizing Madness from Nietzsche to Derrida
$119.99
Kidney Organogenesis
$179.99
Autismus und Schule
$39.99
Breast Cancer: Cellular and Molecular Biology
$219.99
Levels of Perception
$129.00
Invariant Imbedding
$109.99
Professionelle Compliance-Kommunikation
$39.99
Spiral CT of the Abdomen
$54.99
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity
$54.99
Handbuch des Umweltschutzes und der Umweltschutztechnik
$64.99
Private Development Aid in Europe
$54.99
Environmental Hydrology
$169.99
Formnderungen und Bruch von Schluff unter schmalen Streifenfundamenten
$69.99
Video Object Tracking
$44.99
Sex Hormone Replacement Therapy
$169.99
Optical Signal Processing by Silicon Photonics
$54.99
The Geology of Iberia: A Geodynamic Approach
$189.00
Die Methoden der Rahmenstatik
$44.99
Die Reichseisenbahnen
$59.99
Zytologische Knochenmarkdiagnostik
$79.99
Passive Mikrowellenradiometrie
$84.99
Service-Management
$69.99
Demografie Exzellenz
$39.99
Photosynthesis
$259.00
Datenvisualisierung
$27.99
The Palgrave Handbook of New Directions in Kashmir Studies
$249.99
Mechanical Effects of Welding
$129.00
Advanced Methods for Processing and Visualizing the Renewable Energy
$179.99
Gabby's Dollhouse: Merry Christmas, Gabby Cats! (Hardcover)
$9.74
