Formal development of reactive systems
Subtitle: case study production cell
By: Claus Lewerentz, Thomas Lindner, eds.
Contributors: Lewerentz, Claus.; Lindner, Thomas, 1966-
Series: Lecture notes in computer science ;; 891
Publisher: Springer-Verlag
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 394
Subjects: Computer software -- Development
Notes: Includes bibliographical references.