文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | TP301.2/1 | 程序设计语言的形式语义 | Glynn Winskel著;宋国新 … [等] 译 | 机械工业出版社 | 2004 |
| 2 | O158/28 | 离散数学 | 邵志清,虞慧群编著 | 电子工业出版社 | 2003.09 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | TP301.2/1 | 程序设计语言的形式语义 | Glynn Winskel著;宋国新 … [等] 译 | 机械工业出版社 | 2004 |
| 2 | O158/28 | 离散数学 | 邵志清,虞慧群编著 | 电子工业出版社 | 2003.09 |