Formal methods for industrial applications : specifying and programming the steam boiler control

Jean-Raymond Abrial, Egon Börger, Hans Langmaack (eds.)
Bok Engelsk 1996


Utgitt	Berlin : Springer , c1996
Omfang	VIII, 509 s. : ill. + 1 CD-ROM (12 cm)
Opplysninger	1 CD-ROM i lomme
Emner	Applikasjoner Dampmaskiner Formelle metoder Industri Vis mer... Industrielle anvendelser Industriroboter - Automatisk styring Kybernetikk reguleringsteknikk roboter datastyring
ISBN	3540619291

Biblioteksøk