机读格式显示(MARC)

• 000 01398cam 2200337 a 4500

• 000 1000078212

• 001 0000302060

• 005 20060221144814.0

• 008 020215s2001 gw a b 101 0 eng d

• 020 __ |a 3540431594 (pbk.) : |c CNY350.00

• 040 __ |a OHX |c OHX |d MBB |d NUL |d SCT

• 090 __ |a TP311.52-53/WAD

• 093 __ |a TP311.52-53 |2 4

• 099 __ |a CAL 022002152433

• 111 2_ |a WADT 2001 |d (2001 : |c Genoa, Italy)

• 245 10 |a Recent trends in algebraic development techniques : |b 15th International Workshop, WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 ; selected papers / |c Maura Cerioli, Gianna Reggio (eds.).

• 246 3_ |a WADT 2001

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

• 300 __ |a x, 343 p. : |b ill. ; |c 24 cm.

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

• 504 __ |a Includes bibliographical references and index.

• 530 __ |a Also available via the World Wide Web.

• 650 _0 |a Abstract data types (Computer science).

• 650 _0 |a Computer software |x Development |v Congresses.

• 650 _0 |a Computer science |x Mathematics |v Congresses.

• 700 1_ |a Cerioli, Maura.

• 700 1_ |a Reggio, Gianna, |d 1957-

• 901 __022006000067

• 905 __ |a CAU |f TP311.52-53/WAD |b W0075049(or.)

• 907 __ |a CAU |f TP311.52-53/WAD |b W0075049(or.)

• 999 __ |t C |A xy1 |a 20060221 14:45:25 |I xy1 |i 20060221 14:48:14 |G wzhlc |g 20060308 16:19:5