书目详细信息
： 航天型号嵌入式软件验证技术与实践
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5159-1968-3:CNY88.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 航天型号嵌入式软件验证技术与实践/.祝宇 ... [等] 编著 |
| 出版发行项： | 北京:,中国宇航出版社:,2022.03 |
| 载体形态项： | 178页:;+图:;+26cm |
| 提要文摘： | 本书共分六章, 主要内容包括: 航天型号嵌入式软件概述、航天型号嵌入式软件开发通用要求、航天型号族入式软件测试要求、航天型号嵌入式软件测试技术、航天型号嵌入式软件验证实践与经验、航天型号嵌入式软件验证展望。 |
| 题名主题： | 航天 应用软件 软件开发 |
| 索书号： | V57-39/Z70 |
| 中图分类： | V57-39 |
| 个人名称等同： | 祝宇 编著 |
| 个人名称等同： | 张幼春 编著 |
| 个人名称等同： | 杨波 编著 |
| 个人名称等同： | 王新颖 编著 |
| 记录来源： | CN 人天书店 20220527 |