Computer-aided specification techniques /

Đã lưu trong:
书目详细资料
主要作者: Demetrovics, János.
其他作者: Knuth, E. 1943-, Radó, Péter.
格式: Sách giấy
出版: Singapore : World Scientific, c1985.
丛编:Series in computer science ; vol. 1
主题:
标签: 添加标签
没有标签, 成为第一个标记此记录!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
实物特征
实物描述:ix, 114 p. : ill. ; 24 cm.
参考书目:Bibliography: p. 110-114.
ISBN:9971978539