MARC状态：审校 文献类型：中文图书 浏览次数：22
- 题名/责任者:
- 函数式程序设计/邓玉欣编著
- 出版发行项:
- 北京:清华大学出版社,2023.07
- ISBN及定价:
- 978-7-302-62690-9/CNY39.00
- 载体形态项:
- 114页:图;26cm
- 丛编项:
- 高等学校计算机专业系列教材
- 个人责任者:
- 邓玉欣 编著
- 学科主题:
- 函数-程序设计-高等学校-教材
- 中图法分类号:
- TP311.1
- 书目附注:
- 有书目 (第112页) 和索引
- 提要文摘附注:
- 本书是一本介绍函数式程序设计理论的入门读物。在内容选取上, 先以λ-演算作为背景知识, 然后介绍Coq和OCaml的基本用法及其主要语言特征。本书的重点是介绍函数式程序设计的基本思想和方法, 让读者了解、欣赏, 进而喜欢函数式程序设计。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
| TP311.1/D936 | 004361048 |  计算机科学书库
|
可借 | |
| TP311.1/D936 | 004361049 | 计算机科学书库
|
可借 |
显示全部馆藏信息