书目信息 |
| 题名： |
可信的航天嵌入式控制软件开发技术
|
|
| 作者： | 杨孟飞 ， 顾斌 ， 郭向项 著 | |
| 分册： | ||
| 出版信息： | 北京 国防工业出版社 2017 |
|
| 页数： | 14,176页 | |
| 开本： | 24cm | |
| 丛书名： | ||
| 单 册： | ||
| 中图分类： | V4-39 | |
| 科图分类： | ||
| 主题词： | 航天--应用软件--软件开发 | |
| 电子资源： | ||
| ISBN： | 978-7-118-11266-5 | |
| 000 | 01292nam0 2200301 450 | |
| 001 | 1840610353 | |
| 005 | 20180907112809.65 | |
| 010 | @a978-7-118-11266-5@b精装@dCNY 62.00 | |
| 035 | @a(A100000NLC)009526683 | |
| 049 | @aA100000NLC@bUCS01008942635@c009526683@dNLC01 | |
| 092 | @aCN@b三新20180621 | |
| 100 | @a20180326d2017 em y0chiy0110 ea | |
| 101 | 0 | @achi@eeng |
| 102 | @aCN@b110000 | |
| 105 | @ay z 000yy | |
| 200 | 1 | @a可信的航天嵌入式控制软件开发技术@9ke xin de hang tian qian ru shi kong zhi ruan jian kai fa ji shu@b专著@dDevelopment technology for dependable space embedded control software@f杨孟飞，顾斌，郭向项等著@zeng |
| 210 | @a北京@c国防工业出版社@d2017 | |
| 215 | @a14,176页@d24cm | |
| 300 | @a国防科技图书出版基金 | |
| 330 | @a本书主要论述了航天嵌入式软件可信保障的问题、解决方法和相关工具，并介绍了可信保障集成环境。内容包括：嵌入式软件可信性保障技术体系，航天控制软件需求建模与验证，程序实现正确性保障等。 | |
| 510 | 1 | @aDevelopment technology for dependable space embedded control software@zeng |
| 606 | 0 | @a航天@x应用软件@x软件开发 |
| 690 | @aV4-39@v5 | |
| 701 | 0 | @a杨孟飞@9yang meng fei@4著 |
| 701 | 0 | @a顾斌@9gu bin@4著 |
| 701 | 0 | @a郭向项@9guo xiang xiang@4著 |
| 801 | 2 | @aCN@bOLCC@c20180427 |
| 905 | @a10447@c三新20180621@dV57-39@e1@r1@s3 | |
| 可信的航天嵌入式控制软件开发技术=Development technology for dependable space embedded control software/杨孟飞，顾斌，郭向项等著.-北京：国防工业出版社，2017 |
| 14,176页；24cm |
| 国防科技图书出版基金 |
| ISBN 978-7-118-11266-5(精装)：CNY 62.00 |
| 本书主要论述了航天嵌入式软件可信保障的问题、解决方法和相关工具，并介绍了可信保障集成环境。内容包括：嵌入式软件可信性保障技术体系，航天控制软件需求建模与验证，程序实现正确性保障等。 |
| ● |
| 相关链接 |
正题名：可信的航天嵌入式控制软件开发技术
索取号：V57-39/1
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1758129 | 217581294 | 样本书库/4110710205/ [索取号:V57-39/1] | 在馆 | |
| 2 | 1758130 | 217581301 | 理科库/ [索取号:V57-39/1] | 在馆 | |
| 3 | 1758131 | 217581310 | 理科库/3111610505/ [索取号:V57-39/1] | 在馆 |