成功加入购物车

去购物车结算 X

华翰时代书城

商品分类

专题
本店分类
孔网分类

外文原版装饰书(7) 计算机教材专业工具书(922) 最新上架(175) 优惠特价书(29) 生活保健育儿教育(754) 儿童中小学课外必读(151) 经典文学(795) 店主推荐(103) 经管励志(468)
生活保健菜谱(1)
特色

线装古籍(2) 民国旧书(1) 期刊(11) 报纸(1) 名人字画(48) 外文古旧书(94)
图书

教育(4781) 小说(4354) 社会文化(2053) 文学(2052) 艺术(1692) 医药卫生(1626) 哲学心理学(1349) 教材教辅考试(1311) 工程技术(1159) 童书(1124) 生活(1107) 历史(1066) 语言文字(911) 经济(830) 综合性图书(660) 管理(442) 计算机与互联网(293) 自然科学(266) 国学古籍(219) 法律(197) 政治(151) 军事(141) 宗教(112) 体育(107) 地理(43) 收藏与鉴赏(27)
艺术品藏品

照片影像(6) 连环画(3) 邮票税票(2)
文创与周边

动漫影视周边(1)

店铺首页全部商品最新上架店主推荐珍本图书优惠特价动态

手机逛本店

微信扫码访问

程序设计语言理论基础

举报

作者: (美)John C. Mitchell 著
出版社: 电子工业出版社
ISBN: 9787121032240

出版时间: 不详
装帧: 平装

作者: (美)John C. Mitchell 著
出版社: 电子工业出版社

ISBN: 9787121032240
出版时间: 不详

装帧: 平装

售价 198.00

定价￥68.00

品相 九五品

优惠

优惠

运费

本店暂时无法向该地区发货

延迟发货说明

时间：

说明：

上书时间2016-07-31

数量: 仅1件在售，欲购从速

立即购买加入购物车收藏

卖家超过10天未登录

商品详情
店铺评价

手机购买

微信扫码访问

商品分类：

社会文化

货号：

029A-2-4

商品描述：

本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质。该框架基于称为类型化λ演算的数学系统。本书的特色主要在于包含研究泛代数和代数数据类型、命令式语言和Floyd-Hoare逻辑的内容，并包含探讨多态与模块、类型适应性和面向对象概念以及类型推理的高级章节。
配送说明

...
相似商品
为你推荐

专题

外文原版装饰书(7)

计算机教材专业工具书(922)

最新上架(175)

优惠特价书(29)

生活保健育儿教育(754)

儿童中小学课外必读(151)

经典文学(795)

店主推荐(103)

经管励志(468)

本店分类

生活保健菜谱(1)

孔网分类

孔网特色

图书

艺术品收藏

文创与周边

动漫影视周边(1)

孔网啦啦啦啦啦纺织女工火锅店第三课

开播时间：09月02日 10:30

即将开播，去预约

直播中，去观看