文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | TP301.2/1 | 程序设计语言的形式语义 | Glynn Winskel著;宋国新 … [等] 译 | 机械工业出版社 | 2004 |
| 2 | TP301.2/2 | 嵌入式系统的描述与设计 | (美)Daniel D. Gajski,(美)Frank Vahid,(美 | 机械工业出版社 | 2005.7 |
| 3 | TP301.2/3 | 精通正则表达式 | 沙金编著 | 人民邮电出版社 | 2008 |
| 4 | TP301.2/4 | Z规范及其使用方法 | 赵正旭,温晋杰,赵卫华著 | 科学出版社 | 2015 |
| 5 | TP301.2/5:1 | 计算系统的形式语义 | 陆汝钤著 | 清华大学出版社 | 2017 |
| 6 | TP301.2/5:2 | 计算系统的形式语义 | 陆汝钤著 | 清华大学出版社 | 2017 |
| 7 | TP301.2/6 | 深化知识表征与建模 | 顾小清,权国龙著 | 华东师范大学出版社 | 2020 |
| 8 | TP301.2/7A | 正则表达式必知必会 | (美)本·福塔著;门佳,杨涛等译 | 人民邮电出版社 | 2019 |
| 9 | TP301.2/8 | 形式语言学新发展研究 | 程工,沈园著 | 清华大学出版社 | 2022 |