书籍简介:

本书分为六章，其中第一章为概述，第二至五章依次为：数据流分析、基于约束的分析、抽象解释、类型和效果系统，第六章为分析算法介绍。该书内容基本囊括了程序分析领域中的经典方法和技术，配以严谨的形式化系统，全书思路清晰、逻辑性强，是不可多得的经典书籍。

书籍规格:

书籍详细信息
书名	程序分析原理站内查询相似图书
丛书名	计算机科学丛书
	9787111453628 如需购买下载《程序分析原理》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	机械工业出版社
版次	1版	印次	1
定价(元)	49.0	语种	简体中文
尺寸	19 × 26	装帧	平装
页数	452	印数	4000

全网搜索试读资源

程序分析原理是机械工业出版社于2014.3出版的中图分类号为 TP311.11 的主题关于程序分析的书籍。