文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | TP311.11/L036 | 用TLA+定义系统 | (美) 莱斯利·兰伯特著;董路明, 贺志平译 | 机械工业出版社 | 2021.04 |
| 2 | O185.2-43/H671 | 画法几何及机械制图 | 贺志平,任耀亭主编 | 高等教育出版社 | 1983.10 |
| 3 | O185.2-43/H671=2 | 画法几何及机械制图习题集(第二版) | 贺志平主编 | 高等教育出版社 | 1983.11 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | TP311.11/L036 | 用TLA+定义系统 | (美) 莱斯利·兰伯特著;董路明, 贺志平译 | 机械工业出版社 | 2021.04 |
| 2 | O185.2-43/H671 | 画法几何及机械制图 | 贺志平,任耀亭主编 | 高等教育出版社 | 1983.10 |
| 3 | O185.2-43/H671=2 | 画法几何及机械制图习题集(第二版) | 贺志平主编 | 高等教育出版社 | 1983.11 |