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