MARC状态:审校 文献类型:中文图书 浏览次数:25
- 题名/责任者:
- ML程序设计教程/(英)保罗森(Lawrence C. Paulson)著 柯韦译
- 出版发行项:
- 北京:机械工业出版社,2005
- ISBN及定价:
- 7-111-16121-1/CNY45.00
- 载体形态项:
- xv, 369页:图;26cm
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- 保罗森, L. C. (Paulson, L.C.) 著
- 个人次要责任者:
- 柯韦 译
- 学科主题:
- 程序语言-程序设计-教材
- 非控制主题词:
- ML语言
- 中图法分类号:
- TP312ML
- 中图法分类号:
- TP312
- 科图法分类号:
- 73.9621054
- 版本附注:
- 据原书第2版译出
- 出版发行附注:
- 本书原版由剑桥大学出版社出版,本书简体字中文版由英国剑桥大学出版社授权机械工业出版社独家出版。
- 责任者附注:
- Lawrence C. Paulson,男,于1981年在美国斯坦福大学获得计算机逻辑学教授,近期正在研究关于自动定理证明和密码协议验证方面的工作。
- 书目附注:
- 有书目 (第339-345页) 和索引
- 提要文摘附注:
- 本书详细讲解如何使用ML语言进行程序设计,介绍函数式程序设计的基本原理等。
- 使用对象附注:
- 高等院校计算机专业学生及广大程序设计人员
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP312/499 | 70012670 | 下架二线库二 | 非可借 | 下架二线库二 | |
TP312/499 | 70012671 | 下架二线库二 | 非可借 | 下架二线库二 | |
TP312/499 | 70012672 | 下架二线库二 | 非可借 | 下架二线库二 |
显示全部馆藏信息