Computer-aided specification techniques /

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Demetrovics, János.
Tác giả khác: Knuth, E. 1943-, Radó Péter.
Định dạng: Sách giấy
Được phát hành: Singapore : World Scientific, c1985.
Loạt:Series in computer science ; vol. 1
Những chủ đề:
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt