机读格式显示(MARC)

• 000 01593cam 2200373 a 4500

• 001 0000590971

• 003 CAL

• 005 20061116080700.0

• 008 061116s2002 gw a b 101 0 eng

• 010 __ |a 2002020904

• 020 __ |a 354043366X (softcover : alk. paper)

• 040 __ |a DLC |c DLC |d C$Q |d OHX |d SCT

• 050 00 |a QA76.751 |b .F67 2002

• 082 00 |a 005.1 |2 21

• 090 __ |a TP31-532/F771

• 093 __ |a TP31-532 |2 4

• 099 __ |a CAL 022002152339

• 111 2_ |a FOSSACS 2002 |d (2002 : |c Grenoble, France)

• 245 10 |a Foundations of software science and computation structures : |b 5th international conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / |c Mogens Nielsen, Uffe Engberg (eds.).

• 246 30 |a FOSSACS 2002

• 246 30 |a ETAPS 2002

• 260 __ |a Berlin ; |a New York : |b Springer, |c c2002.

• 300 __ |a xiii, 433 p. : |b ill. ; |c 24 cm.

• 440 _0 |a Lecture notes in computer science, |x 0302-9743 ; |v 2303

• 504 __ |a Includes bibliographical references and index.

• 530 __ |a Also available via the World Wide Web. (Restricted to LINK subscribers)

• 650 _0 |a Computer software |v Congresses.

• 650 _0 |a System analysis |v Congresses.

• 700 1_ |a Nielsen, M. |q (Mogens), |d 1949-

• 700 1_ |a Engberg, Uffe, |d 1959-

• 710 2_ |a LINK (Online service)

• 711 2_ |a ETAPS 2002 |d (2002 : |c Grenoble, France)

• 856 41 |u http://link.springer-ny.com/link/service/series/0558/tocs/t2303.htm |z Restricted to Springer LINK subscribers

• 950 __ |a JHUL |b TP31-532 |c F771