• 首页
  • 本馆介绍
  • 公告通知
  • 最新文献
  • 馆藏检索
  • 电子资源
  • 读者导购
  • 参考咨询
  • CALIS
  • 我的图书馆
  • 登录
  • 详细信息显示
  • 放入我的书架
  • 预约/预借图书
  • 作者相关作品
  • 分类相关作品
  • 丛书相关作品
  • 出版社相关作品

书目信息

  • 表格格式
  • 工作单格式
  • 卡片格式
题名:
嵌入式软件系统测试
    
 
作者: 殷永峰 , 姜博 编著
分册:  
出版信息: 北京   机械工业出版社  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
    本书内容包括: 嵌入式系统及软件 ; 嵌入式软件工程与质量特性 ; 基于形式化方法的嵌入式软件系统测试技术 ; 实时嵌入式软件自动化测试描述技术 ; 智能终端应用软件系统测试技术等。
●
相关链接 在E读中查询图书 在当当中查询图书 在豆瓣中查询图书


正题名:嵌入式软件系统测试     索取号: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] 在馆    
河南城建学院图书馆 欢迎您!
大连网信软件有限公司© 版权所有