Copied Computer Aided Verification
Computer Aided Verification
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.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Everyday Friendships
$54.99
Politikverdrossenheit in der Bundesrepublik Deutschland
$59.99
Nanomedicine
$129.00
Computer and Computing Technologies in Agriculture IX
$109.99
The Secret Olivia Told Me
$5.21
Retroviruses 4
$84.99
Molecular Bioenergetics and Macromolecular Biochemistry
$84.99
The External Sector of Africa's Economy
$109.99
Evidenzbasierte Medizin in Ansthesie und Intensivmedizin
$74.99
Photographic Atlas of Practical Anatomy I
$74.99
Cyber Security, Cryptology, and Machine Learning
$99.99
Advances in Fatigue Science and Technology
$549.99
Connectomics in NeuroImaging
$54.99
Topics in Cryptology - CT-RSA 2016
$39.99
Harvesting Solar Energy
$54.99
Lebensstile und Nachhaltigkeit
$64.99
Gefahren der Marknagelung im Schock
$69.99
Artificial Intelligence in Theory and Practice
$169.99
Trust and Inclusion in AI-Mediated Education
$169.99
Graphical Methods for the Design of Experiments
$119.99
Computational Fluid Dynamics 2000
$169.99
Phenological Research
$329.99
Effective Front-End Strategies to Reduce Waste on Construction Projects
$54.99
Netzplantechnik
$59.99
Mechanics of Elastic Structures with Inclined Members
$84.99
Fortschritt in den Wirtschaftswissenschaften
$99.00
The Awakening Desert
$109.99
Diversity in Uniform?
$49.99
Digestive System Diseases
$179.99
Energy Balance in Motion
$54.99
Linienspektren
$69.99
Grenzberschreitende Kooperationen
$59.99
The Urban University and its Identity
$109.99
Earth Satellites
$19.50
Causation in Population Health Informatics and Data Science
$109.00
Gerhart Hauptmann
$59.99
Data Mining
$84.99
Hchstdruck-Hochtemperatur-Synthesen, ihre Methoden und Ergebnisse. Chemie und Genetik
$59.99
Regenerative Biology of the Spine and Spinal Cord
$169.99
Handbook of Multiple Sclerosis
$39.99
