Formal methods of program verification and specification
- フォーマット:
- 図書
- 責任表示:
- H.K. Berg ... [et al.]
- 言語:
- 英語
- 出版情報:
- Englewood Cliffs, N.J. : Prentice-Hall, c1982
- 形態:
- xiv, 207 p. : ill. ; 24 cm
- 著者名:
- Berg, H. K. (Helmut K.) <DA02128774>
- シリーズ名:
- Prentice-Hall software series <BA0001339X>
- 書誌ID:
- BA06370072
- ISBN:
- 9780133288070 [0133288072]
類似資料:
Van Nostrand Reinhold Co. |
Springer-Verlag |
Springer-Verlag |
Garland Pub. |
Springer-Verlag |
Springer-Verlag |
B.G. Teubner, Wiley |
Prentice-Hall |
Cambridge University Press |
McGraw-Hill Book Co. |
Garland Pub. |
Addison-Wesley |