Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (1165), Band 1165)
von
Jean-Raymond Abrial
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-61929-1
ISBN-10: 3-540-61929-1
Springer
· 1996
