| 000 |
|
01260nam2 2200289 450 |
| 010 |
__ |
■a978-7-111-67242-5■dCNY79.00 |
| 100 |
__ |
■a20210715d2021 em y0chiy50 ea |
| 101 |
0_ |
■achi |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■aa a 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a嵌入式软件系统测试■e基于形式化方法的自动化测试解决方案■f殷永峰, 姜博编著■Aqian ru shi ruan +...... |
| 210 |
__ |
■a北京■c机械工业出版社■d2021 |
| 215 |
__ |
■a241页■c图■d24cm |
| 225 |
2_ |
■a电子与嵌入式系统设计丛书■Adian zi yu qian ru shi xi tong she ji cong s+...... |
| 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 h+...... |
| 606 |
0_ |
■a软件■x测试■Aruan jian |
| 690 |
__ |
■aTP311.55■v5 |
| 701 |
_0 |
■a殷永峰■4编著■Ayin yong feng |
| 701 |
_0 |
■a姜博■4编著■Ajiang bo |
| 801 |
_0 |
■aCN■bSHLC■c20210715 |
| 905 |
__ |
■aJG■b369102■dTP311.55/Y586■p79.00 |
(共0票)
评价
