机读格式显示(MARC)

• 000 01566nam2 2200373 4500

• 000 1000008050

• 001 0000164339

• 003 CAL

• 005 20050126141350.0

• 008 940104s1991 gw a b 100 0 eng d

• 010 __ |a 91172441 //r92

• 020 __ |a 3540539824 (v. 1) |c CNY22.30

• 040 __ |a DLC |c XAIT

• 050 00 |a QA76.76.D47 |b I58 1991

• 082 00 |a 005.1 |2 20

• 090 __ |a TP311.52-53/E1:1:(91)

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

• 099 __ |a CAL 021999627880

• 111 2_ |a International Joint Conference on Theory and Practice of Software Development |n (4th : |d 1991 : |c Brighton, England)

• 245 10 |a TAPSOFT ?1 : |b proceedings of the International Joint Conference on Theory and Practice of Software Development / |c S. Abramsky, T.S.E. Maibaum, eds.

• 260 __ |a Berlin : |b Springer-Verlag, |c 1991.

• 300 __ |a 2 v. : |b ill. ; |c 25 cm.

• 440 _0 |a Lecture notes in computer science ; |v 493-494

• 500 __ |a Library has: v. 1 - v. 2.

• 504 __ |a Includes bibliographical references.

• 505 1_ |a v. 1. Colloquium on Trees in Algebra and Programming (CAAP '91) -- v. 2. Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD).

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

• 700 1_ |a Maibaum, Thomas S. E.

• 700 1_ |a Abramsky, Samson, |d 1953-

• 905 __ |a XATU |d TP311.52-53/E1:1:(91)

• 920 __ |a 261060 |z 1

• 950 __ |a 261060 |f TP311.52-53/E1:1:(91)

• 991 __022005003980

• 999 __ |t C |A zhaining |a 20050126 14:10:29 |M zhaining |m 20050126 14:13:50 |G zhaining |g 20050126 14:14:1