Copied Automatic Verification Methods for Finite State Systems
Automatic Verification Methods for Finite State Systems
This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. The goal at the workshop was to compare verification methods and tools to assist the applications designer. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages. The techniques considered cover various specification formalisms such as process algebras, automata and logics. Most of the papers focus on exploitation of existing results in three application areas: hardware design, communication protocols and real-time systems.
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
Seed Development: OMICS Technologies toward Improvement of Seed Quality and Crop Yield
$219.99
Gleitlager
$54.99
Wettbewerbsdynamik und Marketing im Pharmamarkt
$44.99
Local Governance, Economic Development and Institutions
$54.99
Blood Flow in the Heart and Vessels
$109.99
Document Analysis Systems VI
$54.99
Nationhood from Below
$39.99
When Things Aren't Going Right, Go Left (Hardcover)
$14.24
International Handbook of Teacher Education
$259.00
Materialising the Future
$59.99
Psychiatric and Behavioral Aspects of Epilepsy
$199.99
Endothelin and Its Inhibitors
$39.99
Prventive Sucht- und Drogenpolitik
$64.99
Picosecond Electronics and Optoelectronics
$169.99
Handbook of Multiple Sclerosis
$39.99
Contemporary Topics in Immunobiology
$39.99
Biomedical Images and Computers
$109.99
Menschenrechte und Entwicklungszusammenarbeit
$44.99
Molecular Mechanisms of Proton-coupled Electron Transfer and Water Oxidation in Photosystem II
$84.99
Amnesie, Amnestie oder Aufarbeitung?
$64.99
Personalmanagement in der Praxis
$69.99
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems
$84.99
British Chinese Families
$54.99
Computational Materials Science
$84.99
Chinese Computational Linguistics
$54.99
The Palgrave Handbook of Comparative Economics
$299.99
Theory and Practice of Model Transformations
$54.99
Prison in Iran
$109.99
Foundations of Quantum Mechanics I
$54.99
Static Analysis
$39.99
Profikurs ABAP
$14.99
Chefsache Kulturwandel
$49.99
Jugendliches Risikoverhalten
$37.99
Retroviruses 1
$84.99
Wissenschaftskommunikation, neu sortiert
$59.99
Progress in Advanced Information and Communication Technology and Systems
$169.00
Repetitorium Sportmedizin
$49.99
Transformation of Social Security
$109.99
Algebra
$64.99
Behavior and Brain Electrical Activity
$54.99
