文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 11 | TP301.2/W382 | 深入浅出Hyperscan | 王翔[等]著 | 人民邮电出版社 | 2021.09 |
| 12 | TP301.2/W622 | 程序设计语言的形式语义 | 温斯克尔著;宋国新 … 等译 | 机械工业出版社 | 2004.01 |
| 13 | TP393.08/K644 | 安全协议操作语义与验证 | (瑞士) Cas Cremers, (卢森堡) Sjouke Mauw | 电子工业出版社 | 2018.11 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 11 | TP301.2/W382 | 深入浅出Hyperscan | 王翔[等]著 | 人民邮电出版社 | 2021.09 |
| 12 | TP301.2/W622 | 程序设计语言的形式语义 | 温斯克尔著;宋国新 … 等译 | 机械工业出版社 | 2004.01 |
| 13 | TP393.08/K644 | 安全协议操作语义与验证 | (瑞士) Cas Cremers, (卢森堡) Sjouke Mauw | 电子工业出版社 | 2018.11 |