|
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]
|
在馆
|
|
