Systematic software development using VDM /
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
New York :
Prentice Hall,
1990.
|
| Phiên bản: | 2nd ed. |
| Những chủ đề: |
| Mô tả sách: | Includes indexes. |
|---|---|
| Mô tả vật lý: | xiv, 333 p. : ill. ; 24 cm. |
| Thư mục: | Bibliography: p. 321-322. |
| số ISBN: | 0138807337 (pbk.) |