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
|
