机读格式显示(MARC)

• 000 01714nam2 2200397 4500

• 000 1000008058

• 001 0000164347

• 003 CAL

• 005 20050126141821.0

• 008 910717s1991 gw a b 100 0 eng

• 010 __ |a 91172441

• 020 __ |a 3540539824 (v. 1) |c CNY23.60

• 020 __ |a 3540539816 (v. 2)

• 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:2:(91)

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

• 099 __ |a CAL 022000225386 |a CAL 021999655490 |a CAL 022000343203 |a CAL 021999652424 |a CAL 022000871515

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

• 245 10 |a TAPSOFT '91 : |b proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / |c S. Abramsky, T.S.E. Maibaum, eds.

• 246 10 |a Theory and practice of software development

• 246 10 |a Proceedings of the International Joint Conference on Theory and Practice of Software Development

• 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 "TAPSOFT '91 is the Fourth International Joint Conference ...."--Pref.

• 504 __ |a Includes bibliographical references.

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

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

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

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

• 920 __ |a 261060 |z 1

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

• 991 __022005003988

• 999 __ |t C |A zhaining |a 20050126 14:16:08 |M zhaining |m 20050126 14:18:21 |G zhaining |g 20050126 14:18:4