机读格式显示(MARC)
- 000 01577nam2 2200421 4500
- 010 __ |a 7-111-12941-5 |d CNY25.00
- 021 __ |a CN |b 01-2002-3653
- 035 __ |a (110017)062002004008
- 100 __ |a 20031201d2003 em y0chiy0110 ea
- 200 10 |a 零缺陷程序设计 |9 ling que xian cheng xu she ji |f (美)斯蒂夫里(Stavely, A.M.)著 |g 夏昕, 王尧译
- 210 __ |a 北京 |c 机械工业出版社 |d 2003
- 225 2_ |a 计算机科学丛书 |A Jisuanjikexuecongshu
- 300 __ |a 并列题名:Toward Zero-Defect Programming
- 314 __ |a Allan M. Stavely,任教于新墨西哥科技大学计算机系,他的教学与研究领域主要包括软件工程、形式化方法和对编程的总体改进方法。
- 330 __ |a 本书描述了编写无(或几乎无)bug代码的最新方法,这些方法同时还提高了生产力,缩短了开发时间。本书主要从三方面描述,分别是:规定、验证和测试。
- 410 _0 |1 2001 |a 计算机科学丛书
- 461 _0 |1 2001 |a 计算机科学丛书
- 510 1_ |a Toward Zero-Defect Programming |z eng
- 606 0_ |a 程序设计 |x 最佳化 |A Chengxusheji
- 701 _1 |a 斯蒂夫里 |d Stavely |b A.M. |e 美 |4 著 |9 Sidifuli
- 702 _0 |a 夏昕 |9 xia xin |4 译
- 702 _0 |a 王尧 |9 wang yao |4 译
- 801 _0 |a CN |b 021001 |c 20031031
- 801 _2 |a CN |b 261060 |c 20031203
- 905 __ |a XATU |d TP311.1/28
- 995 __ |a 261060 |f TP311.1/28
- 999 __ |t C |A cxj |a 20031201 09:20:11 |M cxj |m 20031201 09:21:38 |I zw |i 20031203 14:48:27 |G zw |g 20031203 14:48:2