Tool support for system specification, development and verification
- 種類:
- 図書
- 責任表示:
- R. Berghammer, Y. Lakhnech (eds.)
- 出版情報:
- Wien : Springer, c1999
- 著者名:
- シリーズ名:
- Advances in computing science <BA3255781X>
- ISBN:
- 9783211832820 [3211832823]
- 注記:
- Includes bibliographical references and index
類似資料:
Springer-Verlag |
Springer-Verlag |
Springer Berlin Heidelberg : Imprint: Springer | |
Springer-Verlag |
Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag |
Springer-Verlag | |
Springer-Verlag |
Springer Berlin Heidelberg : Imprint: Springer |