书目

程序分析原理

内容简介

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

目录

在售商品

111家店有售 新书107家
￥59.80起
综合价格品相店铺 只看全新

—  END  —