Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control
類似資料:
1
電子ブック
Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag |
Springer-Verlag | |
Springer-Verlag | |
12
電子ブック
ESOP '90 : 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings
Springer-Verlag |