|
题名:
|
嵌入式软件系统测试: 基于形式化方法的自动化测试解决方案 / 殷永峰, 姜博 , |
|
ISBN:
|
978-7-111-67242-5 价格： 0.00 |
|
载体形态:
|
241页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 20210001 |
|
主题词:
|
软件 |
|
中图分类法:
|
TP311.55 版次： |