MARC状态：审校 文献类型：中文图书 浏览次数：43
- 题名/责任者:
- 程序设计语言理论/陈意云，张昱[著]
- 版本说明:
- 2版
- 出版发行项:
- 北京:高等教育出版社,2010
- ISBN及定价:
- 978-7-04-028404-1/CNY36.50
- 载体形态项:
- 350页:图;23cm
- 个人责任者:
- 陈意云 著
- 个人责任者:
- 张昱 著
- 学科主题:
- 程序设计语言学-高等学校-教材
- 中图法分类号:
- TP311.1
- 一般附注:
- 研究生教学用书 高等学校计算机科学与技术
- 提要文摘附注:
- 本书主要围绕着一系列的λ演算来组织，该系列中λ演算的类型系统依次变得越来越复杂，这些λ演算用来分析和讨论相应的程序设计语言概念，如多态性、抽象数据类型、信赖类型、子定型等。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP311.1/701 | 71575066 | - |  密集书库126（2F咨询台委托借阅）
M0075994 |
可借 | 密集书库126（2F咨询台委托借阅） |
| TP311.1/701 | 71575067 | - | 密集书库126（非可借）
|
非可借 | 密集书库126（非可借） |
| TP311.1/701 | 71575069 | - | 密集书库126（非可借）
|
非可借 | 密集书库126（非可借） |
| TP311.1/701 | 71575070 | - | 密集书库126（非可借）
|
非可借 | 密集书库126（非可借） |
| TP311.1/701 | 71575068 | - | 自然书库（3F东）
|
可借 |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架