机读格式显示(MARC)
- 000 01039nam2 2200325 4500
- 008 881027s1989 at a b 00110 eng
- 020 __ |a 0201416247 |c CNY15.50
- 050 00 |a QA76.6 |b .D77 1989
- 099 __ |a CAL 022000218200
- 100 1_ |a Dromey, R. G., |d 1946-
- 245 10 |a Program derivation : |b the development of programs from specifications / |c Geoff Dromey.
- 260 __ |a Sydney : |b Addison-Wesley, |c c1989.
- 300 __ |a xvi, 630 p. : |b ill. ; |c 24 cm.
- 440 _0 |a International computer science series
- 504 __ |a Includes bibliographical references and index.
- 650 _0 |a Electronic digital computers |x Programming.
- 905 __ |a XATU |d TP311/E14
- 950 __ |a 261060 |f TP311/E14
- 999 __ |t C |A zhaining |a 20050126 08:51:08 |M zhaining |m 20050126 08:52:19 |G zhaining |g 20050126 08:52:4