每页显示
排序选项
排序方式
-
程序分析原理:(丹) 弗莱明·尼尔森, (丹) 汉内·里斯·尼尔森, (英) 克里斯·汉金, Flemming Nielson, Hanne Riis Nielson, Chris Hankin, 詹博华, 冀振燕, 孙文辉
作者:(丹) 弗莱明·尼尔森, (丹) 汉内·里斯·尼尔森, (英) 克里斯·汉金, Flemming Nielson, Hanne Riis Nielson, Chris Hankin, 詹博华, 冀振燕, 孙文辉
出版社:机械工业出版社
出版时间:20220101
ISBN:978-7-111-70688-5
索书号:TP311.11/69
分类号:TP311.11
页数:291页
价格:CNY139.00
丛书:计算机科学丛书
复本数:
在馆数:
累借天数:
累借次数:
本书主要介绍4种程序分析方法—数据流分析、基于约束的分析、抽象解释、类型和作用系统,涵盖基本语义属性和高级算法。全书共6章,第1章为概述,第2~5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统,第6章为分析算法介绍。