Specification and transformation of programs : a formal approach to software development /
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
Berlin ; New York :
Springer-Verlag,
c1990.
|
| Loạt: | Texts and monographs in computer science
|
| Những chủ đề: |
CARM 1 Store
| Số hiệu: |
A2:AM07G0 C06637 |
|---|---|
| Sao chép 1 | Sẵn có Đặt Giữ |