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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Reviews of Plasma Physics
$169.99
Nocturnal Non-Invasive Ventilation
$59.99
Learn C on the Mac
$29.99
Das Verhalten von Hhnern / The Behaviour of Fowl
$49.99
Core Techniques of Minimally Invasive Spine Surgery
$169.99
Royal Institute of Philosophy Lectures, vol 4 1969-1970: The Proper Study
$59.99
Meine Frau managt das ganze Leben zu Hause ...
$59.99
The Politics of Childhood
$109.99
Peace-building in Israel and Palestine
$54.99
Probleme der Darmtuberkulose
$59.99
Life, Subjectivity & Art
$219.99
Game Theory - Successful Negotiation in Purchasing
$64.99
Mitosis
$109.99
Topological Quantum Matter
$84.99
The Gongyang Commentary on The Spring and Autumn Annals
$159.99
Die Gleichungen der Physik
$17.99
Environmental Microbiology
$64.99
POCUS in Critical Care, Anesthesia and Emergency Medicine
$159.99
Fractional-Order Nonlinear Systems
$199.99
Recent Trends in Theoretical Psychology
$84.99
Regulatory Aspects of Gene Therapy and Cell Therapy Products
$149.00
Handels- und Wechselrecht
$64.99
Configural Frequency Analysis
$139.99
Cities and Mega-Cities
$59.99
Dental Perspectives on Human Evolution
$119.99
Bilevel Optimization
$169.99
Passion for Excellence
$84.99
Stereotype in Marketing und Werbung
$69.99
Betriebliche Kapitalbeteiligungsmodelle
$59.99
Emerging Intelligent Computing Technology and Applications
$54.99
Origin of Group Identity
$169.99
Performing Judicial Authority in the Lower Courts
$109.99
Discourses of Ageing in Fiction and Feminism
$39.99
Selected Studies in Indonesian Archaeology
$39.99
Software Product Line Engineering
$49.99
Ricci-Calculus
$119.99
Dialog im Reaktionsrepertoire von WTO und G7/G8
$64.99
Dictionary of Production Engineering/Wrterbuch der Fertigungstechnik/Dictionnaire des Techniques de
$219.99
Herausforderungen fr das Nachhaltigkeitsmanagement
$89.00
A Practical Guide to Atmospheric Simulation Chambers
$59.99
