Formal methods for industrial applications : specifying and programming the steam boiler control
Jean-Raymond Abrial, Egon Börger, Hans Langmaack (eds.)
Bok Engelsk 1996
Annen tittel | |
---|---|
Utgitt | Berlin : Springer , c1996
|
Omfang | VIII, 509 s. : ill. + 1 CD-ROM (12 cm)
|
Opplysninger | 1 CD-ROM i lomme
|
Emner | |
Dewey | |
ISBN | 3540619291
|