Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack, eds.

Format
Book
Language
English
Published/​Created
Berlin ; New York : Springer, c1996.
Description
viii, 509 p. : ill. ; 24 cm. + 1 computer laser optical disc (4 3/4 in.)

Details

Subject(s)
Steam-boilersAutomatic controlData processing [Browse]
Related name
Series
Lecture notes in computer science ; 1165 [More in this series]
Bibliographic references
Includes bibliographical references and index.
ISBN
3540619291 (alk. paper)
LCCN
96039128
OCLC
1031812249
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
Other views
Staff view