机读格式显示(MARC)

• 000 01647cam 2200397 a 4500

• 000 1000078230

• 001 0000302076

• 005 20060222082607.0

• 008 010308s2001 gw a b 101 0 eng

• 010 __ |a 2001020732

• 020 __ |a 3540418644 (pbk. : alk. paper) : |c CNY400.00

• 040 __ |a DLC |c DLC |d DLC |d SCT

• 042 __ |a pcc

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

• 082 00 |a 005.1 |2 21

• 090 __ |a TP31-53/FOS:2

• 093 __ |a TP31-53 |2 4

• 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.).

• 246 30 |a FOSSACS 2001

• 246 30 |a ETAPS 2001

• 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)

• 901 __022006000086

• 905 __ |a CAU |f TP31-53/FOS:2 |b W0075061(or.)

• 907 __ |a CAU |f TP31-53/FOS:2 |b W0075061(or.)

• 999 __ |t C |A xy1 |a 20060222 08:17:13 |I xy1 |i 20060222 08:26:07 |G wzhlc |g 20060307 16:20:4