类型：
成立时间：
出版社特色：
中国工信出版集团 电子工业出版社
出版社信息：
出版社简介：
暂无相关内容，正在全力查找中
程序设计语言理论基础书籍相关信息
- ISBN：9787121032240
- 作者：[美] John C. Mitchell
- 出版社：中国工信出版集团 电子工业出版社
- 出版时间：2006-11
- 页数：563
- 价格：68.00元
- 纸张：暂无纸张
- 装帧：平装
- 开本：暂无开本
- 语言：暂无语言
- 丛书：国外计算机科学教材系列
- 原作名：Foundations for Programming Languages
- 适合人群：大学计算机专业学生, 程序员, 软件工程师, 研究生, 对计算机科学理论感兴趣的人
- TAG：计算机科学 / 编程语言 / 软件工程 / 程序设计 / 数据结构 / 理论基础
- 豆瓣评分：7.8
- 更新时间：2025-05-07 01:08:42
内容简介：
本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适合用于高等研究的技术参考书。
全格式电子版 - 免费下载