机读格式显示(MARC)
- 000 01589cam 2200385 a 4500
- 008 061115s2001 gw a b 101 0 eng
- 020 __ |a 3540418652 (pbk. : alk. paper)
- 040 __ |a DLC |c DLC |d SCT
- 050 00 |a QA76.9.S88 |b T33 2001
- 093 __ |a TP302.1-532 |2 4
- 099 __ |a CAL 022001402907
- 111 2_ |a TACAS 2001 |d (2001 : |c Genoa, Italy)
- 245 10 |a Tools and algorithms for the construction and analysis of systems : |b 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / |c Tiziana Margaria, Wang Yi (eds.).
- 260 __ |a Berlin ; |a New York : |b Springer, |c c2001.
- 300 __ |a xiv, 588 p. : |b ill. ; |c 24 cm.
- 440 _0 |a Lecture notes in computer science, |x 0302-9743 ; |v 2031
- 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 System design |v Congresses.
- 650 _0 |a Computer software |x Development |v Congresses.
- 700 1_ |a Margaria, Tiziana.
- 711 2_ |a ETAPS 2001 |d (2001 : |c Genova, Italy)
- 856 41 |u http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2031&issue=preprint |z Springer LINK version
- 950 __ |a JHUL |b TP302.1 |c T671