01323nam a2200373 4500 DLU030023191 ##20010621083007.0 ##010308s2001 gw a 101 0 eng 2001020732 3540418644 (pbk. : alk. paper) DLC DLC DLC pcc QA76.751 .F67 2001 005.1 OS FOSSACS 2001 (2001 : Genoa, Italy) Foundations of software science and computation structures : 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 / Furio Honsell, Marino Miculan (Eds.). Berlin ; New York : Springer, c2001. xii, 412 p. : ill. ; 24 cm. Lecture notes in computer science, 0302-9743 ; 2030 Includes index. Computer software Congresses. System analysis Congresses. Honsell, Furio. Miculan, Marino. ETAPS 2001 (2001 : Genoa, Italy) 74.10 DLU True Phan Ngọc Đông G A SH Thư viện Trường Đại học Đà Lạt