Formal methods for industrial applications
Subtitle: specifying and programming the steam boiler control
By: Jean-Raymond Abrial, Egon Börger, Hans Langmaack, eds.
Contributors: Abrial, Jean-Raymond.; Börger, E. 1946-; Langmaack, Hans.
Series: Lecture notes in computer science,; 1165
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 509
Subjects: Steam-boilers -- Automatic control -- Data processing
Notes: Includes bibliographical references and index.