机读格式显示(MARC)

• 000 01737cam 2200385 450

• 001 0000483521

• 005 20130917120800.0

• 010 __ |a 978-7-111-42819-0 |d CNY125.00

• 099 __ |a CAL 012013079461

• 100 __ |a 20130626d2013 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 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) 汉译姓: 贾亚斯瓦 ; 责任者 (Patton) 规范汉译姓: 巴顿

• 320 __ |a 有书目

• 330 __ |a 本书内容包括六部分：当今软件开发过程与不足之处，以及可信软件的挑战；可信软件设计的工具和技术；可信软件设计；综合运用：DFTS计划部署；6个研究案例。

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

• 500 10 |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

• 690 __ |a TP311.5 |v 5

• 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

• 905 __ |a SCNU |f TP311.5/4012

• 920 __ |a 242430 |z 1