Visit our Christmas Gift Finder
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings - Lecture Notes in Computer Science 407 (Paperback)
  • Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings - Lecture Notes in Computer Science 407 (Paperback)
zoom

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings - Lecture Notes in Computer Science 407 (Paperback)

(editor)
£67.99
Paperback 384 Pages / Published: 10/01/1990
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540521488
Number of pages: 384
Weight: 1230 g
Dimensions: 233 x 155 x 20 mm
Edition: 1990 ed.

You may also be interested in...

Information Systems Development
Added to basket
Elemental Design Patterns
Added to basket
Developing Information Systems
Added to basket
NEUTRABAS
Added to basket
£49.99
Paperback
Developing Analytic Talent
Added to basket
Business Analysis Techniques
Added to basket
The Computer and the Brain
Added to basket
The Mythical Man-Month
Added to basket
US For Beginners
Added to basket
£23.99
Paperback
IT Architecture For Dummies
Added to basket

Please sign in to write a review

Your review has been submitted successfully.