文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | TP274/203 | Büchi自动机模型检测及其安全性分析应用研究 | 王曦,欧阳城添著 | 中南大学出版社 | 2019.02 |
| 2 | TP274/188 | 模型检测 | (美)Edmund M. Clarke, Jr,(美)Orna Grumbe | 电子工业出版社 | 2018 |
| 3 | TP368.1/217=2 | AVR单片机原理与测控工程应用 | 刘海成编著 | 北京航空航天大学出版社 | 2015.1 |
| 4 | TP368.123/2=3 | 测控系统原理与设计 | 孙传友,李涛编著 | 北京航空航天大学出版社 | 2014 |
| 5 | TP274/40 | 自动测试系统与虚拟仪器原理·开发·应用 | 刘思久, 张礼勇编著 | 电子工业出版社 | 2009 |
| 6 | TP273/52 | 现代测控技术及应用 | 吴国庆, 王格芳, 郭阳宽编著 | 电子工业出版社 | 2007 |
| 7 | TG8/2 | 现代检测技术 | 金伟,齐世清,王建国编著 | 北京邮电大学出版社 | 2006 |