|
|
|
|
| LEADER |
01021nam a2200361 4500 |
| 001 |
DLU060056446 |
| 005 |
##19870807000000.0 |
| 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, Elod 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 (Elod),
|d 1943-
|
| 700 |
# |
# |
|a Radó Péter.
|
| 923 |
# |
# |
|a 26/2006
|
| 992 |
# |
# |
|a 3700
|
| 994 |
# |
# |
|a DLU
|
| 900 |
# |
# |
|a True
|
| 911 |
# |
# |
|a Thái Thị Thanh Thủy
|
| 925 |
# |
# |
|a G
|
| 926 |
# |
# |
|a A
|
| 927 |
# |
# |
|a SH
|
| 980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|
