程序设计语言理论基础读书介绍

类别	页数	译者	网友评分	年代	出版社
书籍	563页			2020	电子工业出版社

定价	出版日期	最近访问	访问指数
68.00元	2020-02-20 …	2020-06-12 …	49

主题/类型/题材/标签

程序设计语言,计算机科学,编程语言,计算机软件和理论,语义,编程,程序设计,计算机,

作者

[美]米切尔 ISBN:9787121032240 原作名/别名:《Foundations for Programming Languages》

内容和作者简介

程序设计语言理论基础摘要

本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适合用于高等研究的技术参考书。

作者简介

本书后续版本

未发行或暂未收录

喜欢读〖程序设计语言理论基础〗的人也喜欢：

图解Java多线程设计模式 Java,多线程,并发,设计模式,编程,计算机,线程,结城浩,　2020-02-20 …

C++程序设计(原理与实践基础篇原书第2版)/计算机科学丛书 C++,计算机,计算机科学,程序设计,C/C++,编程,*C++,-美国,　2020-02-20 …

逻辑与计算机设计基础数字电路,FPGA逻辑,基础,CS,CG,　2020-02-20 …

基于嵌入式实时操作系统的程序设计技术嵌入式,μC/OS-Ⅱ,操作系统,软件工程,计算机,嵌入式开发,我的必读书目,μC\OS-Ⅱ,　2020-02-20 …

国际平面设计基础教程设计,平面设计,字体设计,国际平面设计基础教程,字体,国际平面设计基础教程--COLOUR色彩设计,版式设计,design,　2020-02-20 …

计算机程序设计艺术卷1：基本算法(英文版.第3版) 算法,计算机科学,计算机,经典,编程,程序设计,Algorithm,Knuth,　2020-02-20 …

程序设计语言理论基础程序设计语言,计算机科学,编程语言,计算机软件和理论,语义,编程,程序设计,计算机,　2020-02-20 …

版式设计基础教程版式设计,设计,平面设计,日本,排版,版式,排版&设计,平面,　2020-02-20 …

建筑课程设计指导任务书建筑设计,建筑,建筑学专业,设计,教材,尼玛的为什么现在的课本都介么贵~,英语学习,李延龄,　2020-02-20 …

设计基础指南设计,设计基础指南,平面设计,设计理论,Design,平面设计基础,吉姆·克劳斯,設計基礎指南,　2020-02-20 …