机读格式显示(MARC)
- 000 01594cam 2200385 a 4500
- 008 070123s2001 gw a b 101 0 eng
- 020 __ |a 3540418644 (pbk. : alk. paper)
- 040 __ |a DLC |c DLC |d DLC |d SCT
- 050 00 |a QA76.751 |b .F67 2001
- 099 __ |a CAL 022001402928 |a CAL 022001399069
- 111 2_ |a FOSSACS 2001 |d (2001 : |c Genova, Italy)
- 245 10 |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 _0 |a Lecture notes in computer science, |x 0302-9743 ; |v 2030
- 504 __ |a Includes bibliographical references and index.
- 530 __ |a Available also through SpringerLink via the World Wide Web. Adobe Acrobat Reader required.
- 650 _0 |a Computer software |v Congresses.
- 650 _0 |a System analysis |v Congresses.
- 700 1_ |a Honsell, Furio.
- 700 1_ |a Miculan, Marino.
- 711 2_ |a ETAPS 2001 |d (2001 : |c Genova, Italy)
- 856 41 |u http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2030&issue=preprint |z Springer LINK version
- 950 __ |a JHUL |b TP31 |c F771