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
Visualizing Dynamic Systems
$29.99
Progress in Botany 71
$329.99
The Role of Systems Methodology in Social Science Research
$169.99
Mining of Microbial Wealth and MetaGenomics
$169.99
Emergency Radiology of the Abdomen
$169.99
Violence Against Women in the Global South
$139.99
Concurrency in Dependable Computing
$169.99
The Dynamics of Federalism in National and Supranational Political Systems
$84.99
Masculine Style
$39.99
Automatisierung und Personalisierung von Dienstleistungen
$84.99
Organisierter Kommunismus in der Bundesrepublik Deutschland
$59.99
Japan's Economic Revival
$125.00
Economic Analysis of Liability Rules
$54.99
Diagnosis and Management of Testicular Cancer
$54.99
GO 2020 Kommentar, IGeL-Abrechnung
$69.99
Computational Science and Its Applications ICCSA 2016
$39.99
Latours Existenzweisen und Luhmanns Funktionssysteme
$34.99
Dissonant Heritages and Memories in Contemporary Europe
$31.00
Hybride Erwerbsformen
$59.99
Drinfeld Modules
$79.99
Media in the Global Context
$79.99
Chemistry in Non-Aqueous Solvents
$109.99
Consensus and Synchronization in Complex Networks
$109.99
Die Politische konomie der Europisierung
$39.99
Interfaces between Mathematical Practices and Mathematical Education
$109.00
Handbook of Biologics for Rheumatological Disorders
$89.00
Proceedings of the Second International Conference on Computer and Communication Technologies
$219.99
Neuroendocrinology
$129.00
Theory Change, Ancient Axiomatics, and Galileos Methodology
$129.00
Social Policies and Ethnic Conflict in China
$54.99
Familie Szene Jugendhaus
$59.99
Room to Dream (Hardcover)
$13.49
Food Product Development
$54.99
Phytoremediation
$169.99
Fish Population Dynamics, Monitoring, and Management
$179.99
Tumor Microenvironment
$169.99
The Development of Affect
$39.99
Supersymmetry and Noncommutative Geometry
$59.99
Glass-Ceramics and Photo-Sitalls
$54.99
Integrated Bank Analysis and Valuation
$39.99
