名称：程序设计语言理论-(第二版)
作者:陈意云张昱
出版社:高等教育出版社
格式：pdf,txt
本电子书只供学习参考，请更多地支持正版图书。
程序设计语言理论-(第二版)内容简介
《程序设计语言理论-(第二版)》pdf电子书下载。
程序设计语言理论-(第二版)部分内容
本书给出分析法式设计语言语法性质、操作性质和语义性质的一个框架，该框架基于入演算系统。以类型系统为中心对法式设计语言进行的这种研究，在软件工程、语言设计、高性能编译器、高可信软件和形式法式验证等方面有着重要应用。计较机类电子书pdf下载《法式设计语言理论-(第二版)》的作者陈意云张昱和高档教育出书社为本书的写作出书都付出了很多汗水。本书属研究生讲授用书。全书主要围绕着一系列的丸演算宋组织，该系列中丸演算的类型系统依次变得越来越复杂，这些丸演算用宋分析和讨论相应的法式设计语言概念，如多态性、抽象数据类型、依赖类型、子定型等。
本书可作为高档院校计较机科学及相关专业的研究生教材，也可供计较机软件丁程高级技术人员参考。
。本站的pdf电子书《程序设计语言理论-(第二版)》主要是由网络收集整理来的，最终著作权仍归属于原书的作者陈意云张昱和出版商。如果您喜欢这本书，请多多支持我们的图书出版事业，让辛苦写书的作者得到应有的回报。在此也要感谢高等教育出版社，感谢出版社为《程序设计语言理论-(第二版)》的出版所做的工作。本站只提供图书的试读版，同时欢迎更多的爱好读书的朋友来电子书下载网来分享更多好看的pdf电子书，免费下载您所需要的电子书籍。最后衷心感谢您下载《程序设计语言理论-(第二版)》pdf版免费电子书。
参考: pdf电子书免费下载 程序设计语言理论-(第二版)
本文来自热恋少女投稿，不代表电子书资源网立场，如若转载，请联系原作者获取。
微信扫一扫 
