机读格式显示(MARC)

• 000 01107nam2 2200289 450

• 001 0000075879

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

• 100 __ |a 20030215d2002 em y0chiy0110 ea

• 101 0_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a a z 001yy

• 106 __ |a r

• 200 0_ |a 从规范出发的程序设计 |A cong gui fan chu fa de cheng xu she ji |d = Programming from specifications |f (美)Carroll Morgan著 |g 裘宗燕译 |z eng

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

• 215 __ |a 314页 |c 图 |d 23cm

• 225 0_ |a 软件工程技术丛书 |A ruan jian gong cheng ji shu cong shu |i 前沿论题系列

• 306 __ |a 由Carroll Morgan授权出版

• 320 __ |a 有索引(第3009314页)

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

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

• 454 _0 |1 2001 |a Programming from specifications |1 701 1 |a Morgan, |b Carroll

• 606 0_ |a 程序设计

• 690 __ |a TP311.1 |v 4

• 701 _0 |a Morgan |b Carroll |4 著

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

• 801 _0 |a CN |b RENTIAN |c 20030215

• 905 __ |a WXCSXY |d TP311.1/31