每页显示
排序选项
排序方式
-
程序分析原理:(丹) 弗莱明·尼尔森, (丹) 汉内·里斯·尼尔森, (英) 克里斯·汉金, 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章为分析算法介绍。