机读格式显示(MARC)

• 000 01550nam0 2200457 450

• 001 0000320637

• 005 20181214145600.0

• 010 __ |a 978-7-118-11266-5 |b 精装 |d CNY62.00

• 099 __ |a CAL 012018065517

• 100 __ |a 20180604d2017 em y0chiy50 ea

• 101 0_ |a chi |e eng

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 可信的航天嵌入式控制软件开发技术 |A ke xin de hang tian qian ru shi kong zhi ruan jian kai fa ji shu |d = Development technology for dependable space embedded control software |f 杨孟飞, 顾斌, 郭向项等著 |z eng

• 210 __ |a 北京 |c 国防工业出版社 |d 2017

• 215 __ |a 14, 176页 |d 24cm

• 300 __ |a 国防科技图书出版基金

• 330 __ |a 本书主要论述了航天嵌入式软件可信保障的问题、解决方法和相关工具，并介绍了可信保障集成环境。内容包括：嵌入式软件可信性保障技术体系，航天控制软件需求建模与验证，程序实现正确性保障等。

• 510 1_ |a Development technology for dependable space embedded control software |z eng

• 606 0_ |a 航天 |A Hang Tian |x 应用软件 |x 软件开发

• 690 __ |a V4-39 |v 5

• 701 _0 |a 杨孟飞 |A Yang Mengfei |4 著

• 701 _0 |a 顾斌 |A Gu Bin |4 著

• 701 _0 |a 郭向项 |A Guo Xiangxiang |4 著

• 801 _0 |a CN |b NEU |c 20180604

• 905 __ |a XATU |d V4-39/1

• 920 __ |a 221060 |z 1

• 920 __ |a 242020 |z 1

• 920 __ |a 221020 |z 1

• 920 __ |a 231030 |z 1

• 920 __ |a 261020 |z 1

• 920 __ |a 222010 |z 1

• 920 __ |a 251010 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 231020 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 261030 |z 1

• 920 __ |a 211070 |z 1

• 998 __ |a NEU