ロード中…
Program construction and verification /
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | 図書 |
| 言語: | 英語 |
| 出版事項: |
Englewood Cliffs, N.J. :
Prentice-Hall International,
c1986.
|
| 主題: | |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
| 物理的記述: | xi, 281 p. : ill. |
|---|---|
| ISBN: | 0137291531 : 0137291469 (pbk.) |