中图网

>

程序设计

>

CC++C#VCVC++

程序设计语言理论基础

作者：(美)米切尔

出版社：电子工业出版社出版时间：2006-11-01

页数： 563

本类榜单：计算机/网络销量榜

中图价:¥33.3(4.9折) 定价 ~~¥68.0~~ 登录后可看到会员价

暂时缺货收藏

运费6元，满69元免运费

?快递不能达地区使用邮政小包，运费14元起

云南、广西、海南、新疆、青海、西藏六省，部分地区快递不可达

温馨提示：5折以下图书主要为出版社尾货，大部分为全新（有塑封/无塑封），个别图书品相8-9成新、切口
有划线标记、光盘等附件不全详细品相说明>>

本类五星书更多>

>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用

全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用

¥11.3¥45
>
决战行测5000题(言语理解与表达)

决战行测5000题(言语理解与表达)

¥28.2¥88
>
软件性能测试.分析与调优实践之路

软件性能测试.分析与调优实践之路

¥55.2¥69
>
第一行代码Android

第一行代码Android

¥76.2¥99
>
C Primer Plus 第6版中文版

C Primer Plus 第6版中文版

¥75.6¥108
>
深度学习

深度学习

¥82.3¥168
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码

MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码

¥43.5¥79

商品详情
商品评论(0条)

中图价:¥33.3 暂时缺货

版权信息
内容简介
目录

微信公众号

程序设计语言理论基础版权信息

ISBN：7121032244
条形码：9787121032240 ; 978-7-121-03224-0
装帧：简裝本
册数：暂无
重量：暂无
所属分类：
计算机/网络
>
程序设计
>
CC++C#VCVC++

程序设计语言理论基础内容简介

本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。
本书中*简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。更先进的技术机制，诸如逻辑关系的方法、范畴论和递归定义类型的语义在中间的几章论述。本书*后三章研究多态类型，连带讨论了抽象数据类型的说明形式和程序模块、类型适应性和类型推理。
本书可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适合用于高等研究的技术参考书。

程序设计语言理论基础目录

第1章引言
第2章PCF语言
第3章泛代数及代数数据类型
第4章简单类型化λ演算
第5章类型化λ演算模型
第6章命令式程序
第7章范畴和递归类型
第8章逻辑关系
第9章多态与模块性
第10章类型适应性和相关概念
第11章类型推理
参考文献

展开全部

商品评论(0条)

写书评赚书币

暂无评论……

书友推荐

>
巴金－再思录
巴金－再思录
巴金
¥33.1~~¥46.0~~
>
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
鲁迅
¥16.0~~¥45.8~~
>
烟与镜
烟与镜
[英] 尼尔·盖曼著，王爽译
¥20.6~~¥48.0~~
>
朝闻道
朝闻道
刘慈欣
¥10.2~~¥23.8~~
>
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
[英] 达尔文著，朱邦芊译
¥6.3~~¥14.0~~
>
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
周作人著，止庵校订
¥6.9~~¥16.0~~
>
回忆爱玛侬
回忆爱玛侬
[日]梶尾真治著，王玮译
¥10.5~~¥32.8~~
>
罗庸西南联大授课录
罗庸西南联大授课录
罗庸
¥13.8~~¥32.0~~