全部
图书期刊
图书馆
- 贵州省交通职业技术学院图书馆(1)
资源类型
- 图书(1)
馆藏地址
- 清镇书库(1)
书目库
- 中文图书(1)
主题
- 自动检测系统(1)
出版社
- 电子工业出版社(1)
出版时间
- 2018.11(1)
-
模型检测
— (美)EDMUND M. CLARKE, JR，(美)ORNA GRUMBERG，(美)D
索书号：TP274/187
标准编码： 978-7-121-35274-4
出版信息：北京 电子工业出版社 2018.11
中文图书
1 共有：1条记录