Copied Computer Aided Verification
Computer Aided Verification
This volume contains the proceedings of the Fifth Conference on Computer-Aided Verfication, held in Crete, Greece, in June/July 1993. The objective of the CAV conferences is to bring together researchers and practitioners interested in the development anduse of methods, tools, and theories for the computer-aided verification of concurrent systems. The conferences provide an opportunity for comparing various verfication methods and tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing methods to real verification problems. The volume contains abstracts of three invited lectures and full versions of 37 contributed papers selected from 84 submissions.The contributions are grouped into sections on hardware verification with BDDs, methods and tools, theorem proving, analysis of real-time systems, processalgebras and calculi, partial orders, and exploiting symmetry.
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
Integrating Functional and Temporal Domains in Logic Design
$84.99
Analyzing Social Media Data and Web Networks
$39.99
Learning Bodies
$109.99
Alternative Medizin im Test
$69.95
Praxisleitfaden Steuerrecht fr Existenzgrnder
$29.99
Machine Learning Algorithms
$79.99
Romanticism and Linguistic Theory
$54.99
Multi-Photon Quantum Information Science and Technology in Integrated Optics
$109.99
Die Picksche Krankheit
$54.99
NAPAW 92
$54.99
Children, Film and Literacy
$39.99
Stahlbeton
$59.99
Flexible Montagesysteme-Konzeption und Feinplanung durch Kombination von Elementen
$69.99
Dengue Haemorrhagic Fever in Thailand
$84.99
Protective Relaying of Power Systems Using Mathematical Morphology
$199.99
Die Jahr-2000-Krise
$69.99
Effiziente Marketingkampagnen Erfolgsfaktoren von Effie-Gewinnern
$44.99
Color It Orange
$5.21
Crop Breeding
$89.00
Artistic Utopias of Revolt
$54.99
Solar Magnetic Phenomena
$109.99
Wirtschaftsvertrge rechtssicher gestalten
$69.99
C/C++ fr Studium und Beruf
$37.99
Zeitreihenanalyse in den Wirtschaftswissenschaften
$29.99
Scientific Drivers for ESO Future VLT/VLTI Instrumentation
$69.99
Chefsache Management 4.0
$29.99
Edward Bond: A Critical Study
$54.99
Signaling in Plants
$219.99
The Baby-Sitters Club: Mary Anne and the Search for Tigger
$5.24
GAST The Gas-Cooled Solar Tower Technology Program
$109.99
Experimental Methods in Neuropsychology
$84.99
Bio-Inspired Collaborative Intelligent Control and Optimization
$169.99
Conflict and Compromise in East Germany, 19711989
$84.99
Migration and the Search for Home
$79.99
Gelenkgetriebe-Konstruktion
$59.99
Intelligent Interactive Technologies and Multimedia
$54.99
Location- and Context-Awareness
$39.99
Regression Analysis
$54.99
Lehmputze und ihre Anwendungen
$17.99
Diet, Nutrition, and Fetal Programming
$199.99
