程序设计语言理论 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


程序设计语言理论

简体网页||繁体网页
陈意云 作者
高等教育出版社
译者
2010-2 出版日期
350 页数
36.50元 价格
平装
丛书系列
9787040284041 图书编码

程序设计语言理论 在线电子书 图书标签: 程序设计语言  程序语言理论  计算机科学  计算机  理论计算机  泛代数  programming  PLTheory   


喜欢 程序设计语言理论 在线电子书 的读者还喜欢




点击这里下载
    

想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-12-23


程序设计语言理论 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

程序设计语言理论 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

程序设计语言理论 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024



程序设计语言理论 在线电子书 用户评价

评分

看了不到一半。。。

评分

看了不到一半。。。

评分

看了不到一半。。。

评分

看了不到一半。。。

评分

看了不到一半。。。

程序设计语言理论 在线电子书 著者简介


程序设计语言理论 在线电子书 图书目录


程序设计语言理论 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

程序设计语言理论 在线电子书 图书描述

《程序设计语言理论(第2版)》给出分析程序设计语言语法性质、操作性质和语义性质的一个框架,该框架基于λ演算系统。全书主要围绕着一系列的λ演算来组织,该系列中λ演算的类型系统依次变得越来越复杂,这些λ演算用来分析和讨论相应的程序设计语言概念,如多态性、抽象数据类型、依赖类型、子定型等。以类型系统为中心对程序设计语言进行的这种研究,在软件工程、语言设计、高性能编译器、高可信软件和形式程序验证等方面有着重要应用。

《程序设计语言理论(第2版)》可作为高等院校计算机科学及相关专业的研究生教材,也可供计算机软件工程高级技术人员参考。

程序设计语言理论 在线电子书 下载 mobi epub pdf txt 在线电子书下载

想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

程序设计语言理论 在线电子书 读后感

评分

程序设计语言理论基础 Foundations for Programming Languages [米切尔] 感觉这两本书的内容惊人类似啊~~~~~ 大概看了下这两本,感觉只要看其中一本就行了。 书讲的内容比较深奥和理论,但对设计出程序语言非常有用。 就如同要造原子弹,得先把理论学好。 当然,理论学好了...

评分

程序设计语言理论基础 Foundations for Programming Languages [米切尔] 感觉这两本书的内容惊人类似啊~~~~~ 大概看了下这两本,感觉只要看其中一本就行了。 书讲的内容比较深奥和理论,但对设计出程序语言非常有用。 就如同要造原子弹,得先把理论学好。 当然,理论学好了...

评分

程序设计语言理论基础 Foundations for Programming Languages [米切尔] 感觉这两本书的内容惊人类似啊~~~~~ 大概看了下这两本,感觉只要看其中一本就行了。 书讲的内容比较深奥和理论,但对设计出程序语言非常有用。 就如同要造原子弹,得先把理论学好。 当然,理论学好了...

评分

程序设计语言理论基础 Foundations for Programming Languages [米切尔] 感觉这两本书的内容惊人类似啊~~~~~ 大概看了下这两本,感觉只要看其中一本就行了。 书讲的内容比较深奥和理论,但对设计出程序语言非常有用。 就如同要造原子弹,得先把理论学好。 当然,理论学好了...

评分

程序设计语言理论基础 Foundations for Programming Languages [米切尔] 感觉这两本书的内容惊人类似啊~~~~~ 大概看了下这两本,感觉只要看其中一本就行了。 书讲的内容比较深奥和理论,但对设计出程序语言非常有用。 就如同要造原子弹,得先把理论学好。 当然,理论学好了...

类似图书 点击查看全场最低价

程序设计语言理论 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


分享链接





程序设计语言理论 在线电子书 相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有