机读格式显示(MARC)

• 000 01354nam2 2200373 4500

• 000 0000172143

• 001 0000118013

• 005 20061229083156.0

• 010 __ |a 7-111-10847-7 |d CNY45.00

• 100 __ |a 20061228d2002 em y0chiy0110 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y z 001yy

• 106 __ |a r

• 200 1_ |a 从规范出发的程序设计 |9 cong gui fan chu fa de cheng xu she ji |f (美)Carroll Morgan著 |g 裘宗燕译

• 210 __ |a 北京 |c 机械工业出版社 |d 2002

• 215 __ |a 314页 |d 24cm

• 225 2_ |a 软件工程技术丛书 |i 前沿论题系列 |9 ruanjiangongchengjishucongshu

• 300 __ |a 并列题名：Programming from Specifications

• 305 __ |a Carroll Morgan授权出版

• 330 __ |a 本书详细论述了有关规范程序设计的内容，包括程序和精化、谓词演算、选择、构造类型、模块和封装等，还包含了大量的实例研究和一些更高级的程序设计技术。

• 461 _0 |1 2001 |a 软件工程技术丛书

• 462 _0 |1 2001 |a 前沿论题系列

• 510 1_ |a Programming from Specifications |z eng

• 606 0_ |a 程序设计 |A chengxusheji

• 690 __ |a TP311.1 |v 4

• 701 _1 |a Morgan |b Carroll |4 著 |9 Morgan

• 702 _0 |a 裘宗燕 |9 qiu zong yan |4 译

• 801 _0 |a CN |b NLC |c 20030526

• 801 _2 |a CN |b 261060 |c 20061229

• 905 __ |a XATU |d TP311.1/77

• 991 __012006019486

• 995 __ |a 261060 |f TP311.1/77

• 999 __ |t C |A yaolin |a 20061228 08:59:43 |M lining |m 20061229 08:31:56 |G lining |g 20061229 08:32:3