Formal Methods for Industrial Applications

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 €

Specifying and Programming the Steam Boiler Control, Lecture Notes in Computer Science 1165

ISBN: 3540619291
ISBN 13: 9783540619291
Herausgeber: Jean-Raymond Abrial/Egon Börger/Hans Langmaack
Verlag: Springer Verlag GmbH
Umfang: ix, 523 S.
Erscheinungsdatum: 30.10.1996
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1509295 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …