Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings: 407 (Lecture Notes in Computer Science, 407) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Automatic Verification Methods for Finite State Systems:...
Seller Image
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. We are unable to ship to Canada at this time.Ex-Library paperback with the usual markings, attachments, and library wear. Text block clean and unmarked. Tight binding. Seller Inventory # UT1572859
Stock Image
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France, June 12-14, 1989 Proceedings (Lecture Notes in Computer Science 407)
Published by
Springer-Verlag, Berlin, 1990
ISBN 10: 3540521488
ISBN 13: 9783540521488
Used
Paperback
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. Lecture Notes in Computer Science 407; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and pen inscription on title page; library catalogue sticker on colophon. Small scuffs from sticker removal across the spine head. Sound, clean book with tight binding. ADG. Ex-Library. Seller Inventory # 094511
Stock Image
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science, 407)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020169129
Stock Image
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science, 407)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540521488_new
Buy New
£ 50.82
Shipping:
£ 11.98
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Automatic Verification Methods for Finite State Systems
Published by
Springer Berlin Heidelberg, 1990
ISBN 10: 3540521488
ISBN 13: 9783540521488
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 develop. Seller Inventory # 4892263
Seller Image
Automatic Verification Methods for Finite State Systems
Published by
Springer Berlin Heidelberg Jan 1990, 1990
ISBN 10: 3540521488
ISBN 13: 9783540521488
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 396 pp. Englisch. Seller Inventory # 9783540521488
Seller Image
Automatic Verification Methods for Finite State Systems
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1990, 1990
ISBN 10: 3540521488
ISBN 13: 9783540521488
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch. Seller Inventory # 9783540521488
Seller Image
Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
Published by
Springer Berlin Heidelberg, 1990
ISBN 10: 3540521488
ISBN 13: 9783540521488
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540521488
Seller Image
Automatic Verification Methods for Finite State Systems | International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Automatic Verification Methods for Finite State Systems | International Workshop, Grenoble, France. June 12-14, 1989. Proceedings | Joseph Sifakis | Taschenbuch | xi | Englisch | 1990 | Springer-Verlag GmbH | EAN 9783540521488 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 102141047
Stock Image
Automatic Verification Methods for Finite State Systems
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 400. Seller Inventory # 263093036