书目信息 |
| 题名: |
嵌入式软件系统测试
|
|
| 作者: | 殷永峰 , 姜博 编著 | |
| 分册: | ||
| 出版信息: | 北京 机械工业出版社 2021.02 |
|
| 页数: | 241页 | |
| 开本: | 24cm | |
| 丛书名: | 电子与嵌入式系统设计丛书 | |
| 单 册: | ||
| 中图分类: | TP311.55 | |
| 科图分类: | ||
| 主题词: | 软件--ruan jian--测试 | |
| 电子资源: | ||
| ISBN: | 978-7-111-67242-5 | |
| 000 | 01314nam 2200313 450 | |
| 001 | 202021194873 | |
| 005 | 20211025120148.0 | |
| 010 | @a978-7-111-67242-5@dCNY79.00 | |
| 100 | @a20211006d2021 em y0chiy50 ea | |
| 101 | 0 | @achi |
| 102 | @aCN@b110000 | |
| 105 | @aa a 000yy | |
| 106 | @ar | |
| 200 | 1 | @a嵌入式软件系统测试@Aqian ru shi ruan jian xi tong ce shi@e基于形式化方法的自动化测试解决方案@f殷永峰, 姜博编著 |
| 210 | @a北京@c机械工业出版社@d2021.02 | |
| 215 | @a241页@c图@d24cm | |
| 225 | 2 | @a电子与嵌入式系统设计丛书@Adian zi yu qian ru shi xi tong she ji cong shu |
| 300 | @a华章IT | |
| 314 | @a殷永峰, 高工, 博士。北京航空航天大学软件学院硕士生导师, 航空工业软件可靠性管理与测评中心主任。 | |
| 320 | @a有书目 (第237-241页) | |
| 330 | @a本书内容包括: 嵌入式系统及软件 ; 嵌入式软件工程与质量特性 ; 基于形式化方法的嵌入式软件系统测试技术 ; 实时嵌入式软件自动化测试描述技术 ; 智能终端应用软件系统测试技术等。 | |
| 410 | 0 | @12001 @a电子与嵌入式系统设计丛书 |
| 517 | 1 | @a基于形式化方法的自动化测试解决方案@Aji yu xing shi hua fang fa de zi dong hua ce shi jie jue fang an |
| 606 | 0 | @a软件@Aruan jian@x测试 |
| 690 | @aTP311.55@v5 | |
| 701 | 0 | @a殷永峰@Ayin yong feng@4编著 |
| 701 | 0 | @a姜博@Ajiang bo@4编著 |
| 801 | 0 | @aCN@c20210909 |
| 905 | @a河南城建学院图书馆@dTP311.55@eY586 | |
| 嵌入式软件系统测试:基于形式化方法的自动化测试解决方案/殷永峰, 姜博编著.-北京:机械工业出版社,2021.02 |
| 241页:图;24cm.-(电子与嵌入式系统设计丛书) |
| 华章IT |
| ISBN 978-7-111-67242-5:CNY79.00 |
| 本书内容包括: 嵌入式系统及软件 ; 嵌入式软件工程与质量特性 ; 基于形式化方法的嵌入式软件系统测试技术 ; 实时嵌入式软件自动化测试描述技术 ; 智能终端应用软件系统测试技术等。 |
| ● |
| 相关链接 |
|
|
|
正题名:嵌入式软件系统测试
索取号:TP311.55/Y586
 
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1544235 | 215442359 | 自科库301/301自科库 50排2列4层/ [索取号:TP311.55/Y586] | 在馆 | |
| 2 | 1544236 | 215442368 | 自科库301/301自科库 50排2列4层/ [索取号:TP311.55/Y586] | 在馆 |