机读格式显示(MARC)

• 000 01218nam 2200301 450

• 001 0000507057

• 005 20181211171000.0

• 010 __ |a 978-7-5165-1323-1 |b 精装 |d CNY170.00

• 100 __ |a 20171207d2017 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 可信嵌入式软件开发方法与实践 |A ke xin qian ru shi ruan jian kai fa fang fa yu shi jian |f 韩炜编著

• 210 __ |a 北京 |c 航空工业出版社 |d 2017.09

• 215 __ |a 529页 |c 图 |d 27cm

• 225 2_ |a 中航工业首席专家技术丛书 |A zhong hang gong ye shou xi zhuan jia ji shu cong shu

• 300 __ |a “十二五”国家重点图书出版规划项目

• 312 __ |a 英文题名取自封面

• 320 __ |a 有书目 (第516-529页)

• 330 __ |a 本书分四章, 概论、软件工程概念、机载软件及软件工程、一个可信性软件 (天脉操作系统) 的实践。内容包括: 嵌入式软件概述 ; 软件困惑 ; 软件工程概念 ; 软件全生命周期模型 ; 开发计划与策划 ; 需求开发及管理等。

• 410 _0 |1 2001 |a 中航工业首席专家技术丛书

• 510 1_ |a Method and practice of dependable embedded software development |z eng

• 606 0_ |a 软件开发 |A ruan jian kai fa |x 研究

• 690 __ |a TP311.52 |v 5

• 701 _0 |a 韩炜 |A han wei |4 编著

• 801 _0 |a CN |b 安徽时代 |c 20171207

• 905 __ |a LIB |d TP311.52/161