|
|
|
|
| LEADER |
01043nam a2200373 4500 |
| 001 |
DLU110127027 |
| 005 |
##20111024 |
| 008 |
##851231s1985 si a b 000 0 eng |
| 010 |
# |
# |
|a 85031535
|
| 020 |
# |
# |
|a 9971978539
|
| 035 |
# |
# |
|9 (DLC) 85031535
|
| 040 |
# |
# |
|a DLC
|c DLC
|d DLC
|
| 082 |
# |
# |
|a 004.21
|b DE-J
|
| 100 |
# |
# |
|a Demetrovics, János.
|
| 245 |
# |
# |
|a Computer-aided specification techniques /
|c János Demetrovics, Előd Knuth, Péter Radó.
|
| 260 |
# |
# |
|a Singapore :
|b World Scientific,
|c c1985.
|
| 300 |
# |
# |
|a ix, 114 p. :
|b ill. ;
|c 24 cm.
|
| 440 |
# |
# |
|a Series in computer science ;
|v vol. 1
|
| 504 |
# |
# |
|a Bibliography: p. 110-114.
|
| 650 |
# |
# |
|a Computer-aided design.
|
| 650 |
# |
# |
|a System design.
|
| 700 |
# |
# |
|a Knuth, E.
|q (Előd),
|d 1943-
|
| 700 |
# |
# |
|a Radó, Péter.
|
| 923 |
# |
# |
|a 01/2011CT
|
| 991 |
# |
# |
|a GT
|
| 992 |
# |
# |
|a 0
|
| 994 |
# |
# |
|a KCT
|
| 900 |
# |
# |
|a True
|
| 911 |
# |
# |
|a Đào Thị Thu Huyền
|
| 925 |
# |
# |
|a G
|
| 926 |
# |
# |
|a A
|
| 927 |
# |
# |
|a SH
|
| 980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|
