机读格式显示(MARC)
- 000 02138nam 2200517 a 4500
- 008 910717s1991 gw a b 100 0 eng
- 020 __ |a 3540539824 (v. 1)
- 020 __ |a 3540539816 (v. 2)
- 040 __ |a DLC |c DLC |d DLC |d ZSU
- 050 00 |a QA76.76.D47 |b I58 1991
- 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 Proceedings of the International Joint Conference on Theory and Practice of Software Development
- 246 10 |a 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.
- 505 00 |g v. 1. |t Colloquium on Trees in Algebra and Programming (CAAP '91) -- |g v. 2. |t Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD).
- 650 _0 |a Computer software |x Development |v Congresses.
- 700 1_ |a Abramsky, Samson, |d 1953-
- 700 1_ |a Maibaum, Thomas S. E.
- 920 __ |a 211010 |b TP3-5 |c L497/no.493-494 |z 1
- 920 __ |a 231030 |b TP31-53 |c I61H 1991 |z 1
- 920 __ |a 261020 |b TP3-51 |c G659/v.493 |z 1
- 950 __ |a SCNU |f TP3-53/G659
- 999 __ |t C |A gly2 |a 20050717 14:07:35 |M gly2 |m 20050717 14:08:21
- 907 __ |a SCNU |f TP3-53/G659