|
|
|
|
| LEADER |
01330nam a2200373 4500 |
| 001 |
DLU030023428 |
| 005 |
##20010621083007.0 |
| 008 |
##010308s2001 gw a 101 0 eng |
| 010 |
# |
# |
|a 2001020732
|
| 020 |
# |
# |
|a 3540418644 (pbk. : alk. paper)
|
| 040 |
# |
# |
|a DLC
|c DLC
|d DLC
|
| 042 |
# |
# |
|a pcc
|
| 050 |
# |
# |
|a QA76.751
|b .F67 2001
|
| 082 |
# |
# |
|a 005.1
|b FOS
|
| 111 |
# |
# |
|a FOSSACS 2001
|d (2001 :
|c Genoa, Italy)
|
| 245 |
# |
# |
|a Foundations of software science and computation structures :
|b 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
|c Furio Honsell, Marino Miculan (Eds.).
|
| 260 |
# |
# |
|a Berlin ;
|a New York :
|b Springer,
|c c2001.
|
| 300 |
# |
# |
|a xii, 412 p. :
|b ill. ;
|c 24 cm.
|
| 440 |
# |
# |
|a Lecture notes in computer science,
|x 0302-9743 ;
|v 2030
|
| 500 |
# |
# |
|a Includes index.
|
| 650 |
# |
# |
|a Computer software
|v Congresses.
|
| 650 |
# |
# |
|a System analysis
|v Congresses.
|
| 700 |
# |
# |
|a Honsell, Furio.
|
| 700 |
# |
# |
|a Miculan, Marino.
|
| 711 |
# |
# |
|a ETAPS 2001
|d (2001 :
|c Genoa, Italy)
|
| 992 |
# |
# |
|a 74.10
|
| 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
|
