机读格式显示(MARC)
- 010 __ |a 978-7-111-42819-0 |d CNY125.00
- 021 __ |a CN |b 01-2011-3371
- 099 __ |a CAL 012013079461
- 100 __ |a 20130626d2013 em y0chiy50 ea
- 200 1_ |a 可信软件设计 |A Ke Xin Ruan Jian She Ji |e 开发健壮软件的工具、技术和方法 |d = Design for trustworthy software |e tools, techniques, and methodology of developing robust software |f (美) Bijay K.Jayaswal, Peter C.Patton著 |g 吴峻申, 蒋乐天, 黄诚译 |z eng
- 210 __ |a 北京 |c 机械工业出版社 |d 2013
- 215 __ |a XVI, 511页 |c 图 |d 24cm
- 225 2_ |a 软件工程技术丛书 |A Ruan Jian Gong Cheng Ji Shu Cong Shu
- 306 __ |a 由Pearson Education (培生教育出版集团)授权出版
- 314 __ |a 责任者Jayaswal汉译姓据CIP著录: 贾亚斯瓦 ; 责任者Patton规范汉译姓: 巴顿
- 330 __ |a 本书内容包括六部分:当今软件开发过程与不足之处,以及可信软件的挑战;可信软件设计的工具和技术;可信软件设计;综合运用:DFTS计划部署;6个研究案例。
- 410 _0 |1 2001 |a 软件工程技术丛书
- 500 10 |a Design for trustworthy software : tools, techniques, and methodology of developing robust software |A Design For Trustworthy Software : Tools, Techniques, And Methodology Of Developing Robust Software |m Chinese
- 517 1_ |a 开发健壮软件的工具、技术和方法 |A Kai Fa Jian Zhuang Ruan Jian De Gong Ju、 Ji Shu He Fang Fa
- 606 0_ |a 软件设计 |A Ruan Jian She Ji
- 701 _1 |a 贾亚斯瓦 |A Jia Ya Si Wa |g (Jayaswal, Bijay K.) |4 著
- 701 _1 |a 巴顿 |A ba dun |g (Patton, Peter C.) |4 著
- 702 _0 |a 吴峻申 |A Wu Jun Shen |4 译
- 702 _0 |a 蒋乐天 |A Jiang Le Tian |4 译
- 702 _0 |a 黄诚 |A Huang Cheng |4 译
- 801 _0 |a CN |b NMU |c 20130626
- 801 _2 |a CN |b PUL |c 20130828
- 905 __ |a XATU |d TP311.5/358