MARC状态：审校 文献类型：中文图书 浏览次数：167
- 题名/责任者:
- 程序分析原理/(丹) 弗莱明·尼尔森, 汉内·里斯·尼尔森, (英) 克里斯·汉金著 詹博华, 冀振燕, 孙文辉译
- 出版发行项:
- 北京:机械工业出版社,2022
- ISBN及定价:
- 978-7-111-70688-5/CNY139.00
- 载体形态项:
- 291页:图;26cm
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- 尼尔森 (Nielson, Flemming) 著
- 个人责任者:
- 尼尔森 (Nielson, Hanne Riis) 著
- 个人责任者:
- 汉金 (Hankin, Chris) 著
- 个人次要责任者:
- 詹博华 译
- 个人次要责任者:
- 冀振燕 译
- 个人次要责任者:
- 孙文辉 译
- 学科主题:
- 程序分析
- 中图法分类号:
- TP311.11
- 出版发行附注:
- 本书中文简体字版由Springer授权机械工业出版社独家出版
- 责任者附注:
- 弗莱明·尼尔森和汉内·里斯·尼尔森都是丹麦技术大学应用数学与计算机科学系教授, 也是函数式语言、程序分析等领域著名计算机科学家。克里斯·汉金, 是伦敦帝国理工学院安全科学与技术研究所的研究员和计算科学教授。詹博华, 2014年在普林斯顿大学获得博士学位, 中国科学院软件研究所期研党员。冀振燕, 副教授, 博士生导师, CCF理论计算机专委会委员。孙文辉, 1999年在中国科学院软件研究所取得博士学位, 北京交通大学计算机学院副教授。
- 书目附注:
- 有书目 (第272-282页) 和索引
- 提要文摘附注:
- 本书主要介绍4种程序分析方法一数据流分析、基于约束的分析、抽象解释、类型和作用系统, 涵盖基本语义属性和高级算法。全书共6章, 第1章为概述, 第2-5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统, 第6章为分析算法介绍。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP311.11/7241 | 60287656 |  临安自科(N-Z)(2F)(信息工程学院)
|
可借 | 临安自科(N-Z)(2F)(信息工程学院) | |
| TP311.11/7241 | 60287657 | 临安自科(N-Z)(2F)(信息工程学院)
|
可借 | 临安自科(N-Z)(2F)(信息工程学院) | |
| TP311.11/7241 | 72497434 | 自然书库（3F东）
|
可借 | 自然书库（3F东） | |
| TP311.11/7241 | 72497435 | 自然书库（3F东）
|
可借 | 自然书库（3F东） | |
| TP311.11/7241 | 72497436 | 自然书库（3F东）
|
可借 | 自然书库（3F东） | |
| TP311.11/7241 | 72497437 | 自然书库（3F东）
|
可借 | 自然书库（3F东） | |
| TP311.11/7241 | 72497438 | 自然书库（3F东）
|
可借 | 自然书库（3F东） |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架