Formal Methods for Industrial Applications Specifying and Programming the Steam Boiler Control

Gespeichert in:
Hauptverfasser:
Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Berlin [u.a.] Springer 1996
Umfang:
Sofern kein Zugang über ein Universitätsnetz zur Verfügung steht, kann eine Registrierung zur kostenlosen Nutzung erfolgen: http://www.nationallizenzen.de
Format Details:
Sofern kein Zugang über ein Universitätsnetz zur Verfügung steht, kann eine Registrierung zur kostenlosen Nutzung erfolgen: http://www.nationallizenzen.de
ISBN:
9783540619291
9783540495666
Bezugswerke:
Links: