沈阳工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:35

题名/责任者:
Martin-Lof类型论程序设计导引/(瑞典) Bengt Nordstrom, Kent Petersson, Jan M. Smith著 宋方敏译
出版发行项:
南京:南京大学出版社,2002
ISBN及定价:
7-305-03832-6/CNY24.00
载体形态项:
195页:图;23cm
并列正题名:
Programming in Martin-Lofs Type Theory an Introduction
个人责任者:
诺德斯特龙, 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   下架二线库一     可借
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架