※一部利用できない機能があります
An introduction to formal specification and Z
- フォーマット:
- 図書
- 責任表示:
- Ben Potter, Jane Sinclair, David Till
- 言語:
- 英語
- 出版情報:
- Englewood Cliffs, N.J. : Prentice Hall, 1991
- 形態:
- xiii, 304 p. ; 24 cm
- 著者名:
- シリーズ名:
- Prentice-Hall International series in computer science <BA00010507>
- 書誌ID:
- BA13527607
- ISBN:
- 9780134787022 [0134787021]
類似資料:
Prentice Hall | |
トッパン | |
Prentice-Hall International | |
Cambridge University Press |
Springer-Verlag |
Springer | |
Cambridge University Press |