Đang tải...
The way of z practical programming with formal methods
Tác giả chính: | |
---|---|
Định dạng: | Printed Book |
Ngôn ngữ: | English |
Được phát hành: |
Cambridge University Press
1997
|
DCS
Số hiệu: |
004.43 |
---|---|
Sao chép | Trạng thái trực tiếp không khả dụng |