书目信息 |
题名: |
嵌入式软件系统测试
|
|
作者: | 殷永峰 , 姜博 编著 | |
分册: | ||
出版信息: | 北京 机械工业出版社 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自科库 43排2列3层/ [索取号:TP311.55/Y586] | 在馆 | |
2 | 1544236 | 215442368 | 自科库301/301自科库 43排2列3层/ [索取号:TP311.55/Y586] | 在馆 |