机读格式显示(MARC)

• 000 01106nam 2200325 45

• 001 0000066540

• 005 20041123102400.0

• 010 __ |a 7-111-12941-5 |d CNY25.00

• 100 __ |a 20031210d2003 kmey0chiy0121 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a 零缺陷程序设计 |A Ling Que Xian Cheng Xu She Ji |d = Toward zero-defect programming |f (美) Allan M. Stavely著 |F (Mei) Allan M. Stavely Zhu |g 夏昕, 王尧译 |z eng

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

• 215 __ |a 12, 203页 |d 26cm

• 225 2_ |a 计算机科学丛书

• 306 __ |a 本书由Pearson Education授权出版

• 314 __ |a 责任者规范汉译姓：斯蒂夫里

• 320 __ |a 有书目 (第197-203页)

• 330 __ |a 本书主要在三个领域内加以描述，分别是：规定、验证和测试。

• 410 _0 |1 2001 |a 计算机科学丛书

• 510 1_ |a Toward zero-defect programming |z eng

• 606 0_ |a 软件工具 |x 程序设计

• 690 __ |a TP311.1 |v 4

• 701 _1 |a 斯蒂夫里, |A Si Di Fu Li, |b A. M. |g (Stavely, Allan M.) |4 著

• 702 _0 |a 夏昕 |A Xia Xin |4 译

• 702 _0 |a 王尧 |A Wang Yao |4 译

• 801 _0 |a CN |b ZPHC |c 20041123

• 905 __ |a ZPHC |d TP311.1/5