文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | TP274/K633 | 模型检测 | (美) Edmund M. Clarke, Jr., Orna Grumber | 电子工业出版社 | 2018.11 |
| 2 | TN01/M061 | 现代电子技术基础实践 | 马洪连主编;于成, 杨南海, 高新岩编著 | 电子工业出版社 | 2018.03 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | TP274/K633 | 模型检测 | (美) Edmund M. Clarke, Jr., Orna Grumber | 电子工业出版社 | 2018.11 |
| 2 | TN01/M061 | 现代电子技术基础实践 | 马洪连主编;于成, 杨南海, 高新岩编著 | 电子工业出版社 | 2018.03 |