全部
图书期刊非书资料
图书馆
- 桂林理工大学南宁分校图书馆(1)
资源类型
- 图书(1)
馆藏地址
- 一楼9库(1)
书目库
- 中文图书(1)
主题
- 自动检测系统(1)
出版社
- 电子工业出版社(1)
出版时间
- 2016.01(1)
-
模型检测
— (美)E.M.克拉克 (EDMUND M.CLARKE JR.), O.格伦贝格(O
索书号：TP274/171
标准编码： 978-7-121-27295-0
出版信息：北京 电子工业出版社 2016.01
中文图书
1 共有：1条记录