Program derivation the development of programs from specifications
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
Sydney
Addison-Wesley
c1989.
|
| Loạt: | International computer science series
|
| Những chủ đề: |