1 option
Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack, eds.
LIBRA TJ288 .F59 1996 1 v. + disc
Available from offsite location
- Format:
- Book
- Series:
- Lecture notes in computer science ; 1165.
- Lecture notes in computer science ; 1165
- Language:
- English
- Subjects (All):
- Steam-boilers--Automatic control--Data processing.
- Steam-boilers.
- Steam-boilers--Automatic control.
- Physical Description:
- viii, 509 pages : illustrations ; 24 cm + 1 computer laser optical disc (4 3/4 in.)
- Place of Publication:
- Berlin ; New York : Springer, [1996]
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 3540619291
- OCLC:
- 35686104
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.