01021nam a2200361 4500 DLU060056446 ##19870807000000.0 ##851231s1985 si a b 000 0 eng 85031535 9971978539 (DLC) 85031535 DLC DLC DLC 004.21 DE-J Demetrovics, János Computer-aided specification techniques / János Demetrovics, Elod Knuth, Péter Radó Singapore : World Scientific, c1985. ix, 114 p. : ill. ; 24 cm. Series in computer science ; vol. 1 Bibliography: p. 110-114. Computer-aided design. System design. Knuth, E. (Elod), 1943- Radó Péter. 26/2006 3700 DLU True Thái Thị Thanh Thủy G A SH Thư viện Trường Đại học Đà Lạt