出版社：机械工业出版社
年代：2013
定价：49.0
本书分为六章，其中第一章为概述，第二至五章依次为：数据流分析、基于约束的分析、抽象解释、类型和效果系统，第六章为分析算法介绍。该书内容基本囊括了程序分析领域中的经典方法和技术，配以严谨的形式化系统，全书思路清晰、逻辑性强，是不可多得的经典书籍。
| 书籍详细信息 | |||
| 书名 | 程序分析原理站内查询相似图书 | ||
| 丛书名 | 计算机科学丛书 | ||
| 9787111453628 如需购买下载《程序分析原理》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN | |||
| 出版地 | 北京 | 出版单位 | 机械工业出版社 |
| 版次 | 1版 | 印次 | 1 |
| 定价(元) | 49.0 | 语种 | 简体中文 |
| 尺寸 | 19 × 26 | 装帧 | 平装 |
| 页数 | 452 | 印数 | 4000 |
刘磊, 张晶, 赵健, 张鹏, 编著
刘磊等, 编著
虞森林, 编著
(美) 斯奈德 (Snyder,L.) , (美) 林 (Lin,C.) , 著
(美) 林 (Lin,C.) , (美) 斯奈德 (Snyder,L.) , 著
王道斌, 主编
魏进家, 陈斌, 周屈兰, 刘小民, 编著
李德建, 著
(德) 贝蒂尔·施密特 (Bertil Schmidt) , (西) 豪尔赫·冈萨雷斯-多明格斯, (德) 克里斯蒂安·洪特 (Christian...