MARC状态：审校 文献类型：中文图书 浏览次数：5
- 题名/责任者:
- 航天型号嵌入式软件验证技术与实践/祝宇[等]编著
- 出版发行项:
- 北京:中国宇航出版社,2022
- ISBN及定价:
- 978-7-5159-1968-3/CNY88.00
- 载体形态项:
- 178页:图;26cm
- 个人责任者:
- 祝宇 编著
- 学科主题:
- 航天-应用软件-软件开发
- 中图法分类号:
- V4
- 题名责任附注:
- 编著者还有：张幼春、杨波、王新颖
- 提要文摘附注:
- 本书分别从航天型号嵌入式软件概述、软件开发通用要求、软件测试要求、软件测试技术、软件验证实践与经验、软件验证展望等角度描述航天型号嵌入式软件的验证现状。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 校区—馆藏地 | 书刊状态 | 还书位置 |
| V4/8 | S3528328 | 总馆—工业技术书库（龙湖） | 可借 | 工业技术书库（龙湖） | |
| V4/8 | S3528329 | 总馆—工业技术书库（龙湖） | 可借 | 工业技术书库（龙湖） | |
| V4/8 | S3528330 | 总馆—工业技术书库（龙湖） | 可借 | 工业技术书库（龙湖） |
显示全部馆藏信息