FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings
類似資料:
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer | |
6
電子ブック
Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control
Springer-Verlag |
12
電子ブック
ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995
Springer-Verlag Berlin Heidelberg |