机读格式显示(MARC)

• 000 01634nam2 2200397 4500

• 000 1000006848

• 001 0000163191

• 005 20050124144730.0

• 008 011217s1991 gw a b 101 0 eng d

• 010 __ |a 91033143

• 020 __ |a 3540548343 (Springer-Verlag Berlin : v. 1) |c CNY142.00

• 020 __ |a 0387548343 (Springer-Verlag New York : v.1)

• 020 __ |a 3540548688 (Springer-Verlag Berlin : v. 2)

• 020 __ |a 0387548688 (Springer-Verlag New York : v. 2)

• 040 __ |a DLC |c XAIT

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

• 082 00 |a 005.1 |2 20

• 090 __ |a TP311.52-53/E3:(4TH:91)

• 093 __ |a TP301.2-532 |2 4

• 099 __ |a CAL 022000237054 |a CAL 022000344760

• 111 2_ |a VDM '91 |d (1991 : |c Noordwijkerhout, Netherlands)

• 245 10 |a VDM '91 : |b formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings / |c S. Prehn, W.J. Toetenel (eds.).

• 260 __ |a Berlin ; |a New York : |b Springer-Verlag, |c c1991.

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

• 440 _0 |a Lecture notes in computer science ; |v 551-552

• 504 __ |a Includes bibliographical references and index.

• 505 0_ |a v. 1. Conference contributions -- v. 2. Tutorials.

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

• 700 1_ |a Toetenel, W. J., |d 1953-

• 700 1_ |a Prehn, S. |q (S瞨en), |d 1955-

• 710 2_ |a VDM-Europe.

• 905 __ |a XATU |d TP311.52-53/E3:(4TH:91)

• 920 __ |a 261060 |z 1

• 950 __ |a 261060 |f TP311.52-53/E3:(4th:91)

• 991 __022005002851

• 999 __ |t C |A zhaining |a 20050124 14:45:43 |M zhaining |m 20050124 14:47:30 |G zhaining |g 20050124 14:47:5