关于我们
书单推荐
新书推荐

程序分析原理

程序分析原理

定　　价：139 元

丛书名：计算机科学丛书

        

  • 作者：[丹]弗莱明·尼尔森(Flemming Nielson),[丹]汉内·里斯·尼尔森(Hanne Riis Nielson),[英]克里斯·汉金(Chris Hankin) 著
  • 出版时间：2022/7/1
  • ISBN：9787111706885
  • 出 版 社：机械工业出版社
  • 中图法分类：TP311.11 
  • 页码：300
  • 纸张：
  • 版次：
  • 开本：16
9
7
7
8
0
7
6
1
8
1
8
1
5

读者对象:程序分析方向研究人员及学生，以及相关从业人员

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

 你还可能感兴趣
 我要评论
您的姓名   验证码： 图片看不清？点击重新得到验证码
留言内容