MARC状态:审校 文献类型:中文图书 浏览次数:34
- 题名/责任者:
- Martin-Lof类型论程序设计导引/(瑞典) Bengt Nordstrom, Kent Petersson, Jan M. Smith著 宋方敏译
- 出版发行项:
- 南京:南京大学出版社,2002
- ISBN及定价:
- 7-305-03832-6/CNY24.00
- 载体形态项:
- 195页:图;23cm
- 个人责任者:
- 诺德斯特龙, B. (Nordstrom, Bengt) 著
- 个人责任者:
- 彼得森, K. (Petersson, Kent) 著
- 个人责任者:
- 史密斯, J. M. (Smith, Jan M.) 著
- 个人次要责任者:
- 宋方敏 译
- 学科主题:
- 计算数学-高等学校-教材
- 中图法分类号:
- O24
- 一般附注:
- 创建世界高水平大学项目资助教材
- 书目附注:
- 有书目 (第183-191页)
- 提要文摘附注:
- 本书包括多型集合、子集合、单型集合、例子四部分内容,从计算科学的角度描述了不同的类型论,适合对计算科学基础感兴趣的研究人员阅读。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
O24/002 | 70009420 | 下架二线库二 | 非可借 | 下架二线库二 | |
O24/002 | 70009421 | 下架二线库二 | 非可借 | 下架二线库二 | |
O24/002 | 70009422 | 下架二线库二 | 非可借 | 下架二线库二 | |
O24/002 | 70019804 | 下架二线库一 | 可借 | ||
O24/002 | 70019805 | 下架二线库一 | 可借 |
显示全部馆藏信息