MARC状态:审校 文献类型:中文图书 浏览次数:29
- 题名/责任者:
- 嵌入式软件系统测试:基于形式化方法的自动化测试解决方案/殷永峰, 姜博编著
- 出版发行项:
- 北京:机械工业出版社,2021
- ISBN及定价:
- 978-7-111-67242-5/CNY79.00
- 载体形态项:
- 241页:图;24cm
- 其它题名:
- 基于形式化方法的自动化测试解决方案
- 丛编项:
- 电子与嵌入式系统设计丛书
- 个人责任者:
- 殷永峰 编著
- 个人责任者:
- 姜博 编著
- 学科主题:
- 软件-测试
- 中图法分类号:
- TP311.55
- 一般附注:
- 华章IT
- 责任者附注:
- 殷永峰, 高工, 博士。北京航空航天大学软件学院硕士生导师, 航空工业软件可靠性管理与测评中心主任。
- 书目附注:
- 有书目 (第237-241页)
- 提要文摘附注:
- 本书内容包括: 嵌入式系统及软件 ; 嵌入式软件工程与质量特性 ; 基于形式化方法的嵌入式软件系统测试技术 ; 实时嵌入式软件自动化测试描述技术 ; 智能终端应用软件系统测试技术等。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP311.55/40 | 00633108 | 书库
(图书定位请点击这里) |
可借 | 书库 | |
| TP311.55/40 | 00633109 | 书库
(图书定位请点击这里) |
可借 | 书库 |
显示全部馆藏信息




书库