01062nam a2200373 4500 DLU100106879 ##20100422 ##851231s1985 si a b 000 0 eng 85031535 9971978539 (DLC) 85031535 DLC DLC DLC QA76.9.S88 D46 1985 004.21 DE-J Demetrovics, János. Computer-aided specification techniques / János Demetrovics, Előd 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. (Előd), 1943- Radó, Péter. 02/2010 3420 DLU True Đào Thị Thu Huyền G A SH Thư viện Trường Đại học Đà Lạt