|
000
|
01976nam 2200361 450
|
|
001
|
012022000468
|
|
005
|
20221110154646.0
|
|
010
|
|
@a978-7-111-70688-5@dCNY139.00
|
|
100
|
|
@a20220802d2022 em y0chiy50 ea
|
|
101
|
1
|
@achi@ceng
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aak a 001yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a程序分析原理@Acheng xu fen xi yuan li@f(丹) 弗莱明·尼尔森, 汉内·里斯·尼尔森, (英) 克里斯·汉金著@d= Principles of program analysis@fFlemming Nielson, Hanne Riis Nielson, Chris Hankin@g詹博华, 冀振燕, 孙文辉译@zeng
|
|
210
|
|
@a北京@c机械工业出版社@d2022.7
|
|
215
|
|
@a291页@c图@d26cm
|
|
225
|
2
|
@a计算机科学丛书@Aji suan ji ke xue cong shu
|
|
306
|
|
@a本书中文简体字版由Springer授权机械工业出版社独家出版
|
|
314
|
|
@a弗莱明·尼尔森和汉内·里斯·尼尔森都是丹麦技术大学应用数学与计算机科学系教授, 也是函数式语言、程序分析等领域著名计算机科学家。克里斯·汉金, 是伦敦帝国理工学院安全科学与技术研究所的研究员和计算科学教授。詹博华, 2014年在普林斯顿大学获得博士学位, 中国科学院软件研究所期研党员。冀振燕, 副教授, 博士生导师, CCF理论计算机专委会委员。孙文辉, 1999年在中国科学院软件研究所取得博士学位, 北京交通大学计算机学院副教授。
|
|
320
|
|
@a有书目 (第272-282页) 和索引
|
|
330
|
|
@a本书主要介绍4种程序分析方法一数据流分析、基于约束的分析、抽象解释、类型和作用系统, 涵盖基本语义属性和高级算法。全书共6章, 第1章为概述, 第2-5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统, 第6章为分析算法介绍。
|
|
410
|
0
|
@12001 @a计算机科学丛书
|
|
500
|
10
|
@aPrinciples of program analysis@mChinese
|
|
606
|
0
|
@a程序分析@Acheng xu fen xi
|
|
690
|
|
@aTP311.1@v5
|
|
701
|
1
|
@a尼尔森@Ani er sen@g(Nielson, Flemming)@4著
|
|
701
|
1
|
@a尼尔森@Ani er sen@g(Nielson, Hanne Riis)@4著
|
|
701
|
1
|
@a汉金@Ahan jin@g(Hankin, Chris)@4著
|
|
702
|
0
|
@a詹博华@Azhan bo hua@4译
|
|
702
|
0
|
@a冀振燕@Aji zhen yan@4译
|
|
702
|
0
|
@a孙文辉@Asun wen hui@4译
|
|
801
|
0
|
@aCN@bCDNYKJZYXY@c20221110
|
|
905
|
|
@aCDNYKJZYXY@b300675105-6@dTP311.1@e651@f2
|
|
|
|
|
| |
| 程序分析原理/(丹) 弗莱明·尼尔森, 汉内·里斯·尼尔森, (英) 克里斯·汉金著= Principles of program analysis/Flemming Nielson, Hanne Riis Nielson, Chris Hankin/詹博华, 冀振燕, 孙文辉译.-北京：机械工业出版社，2022.7 |
| 291页：图；26cm.-(计算机科学丛书) |
| |
| |
| ISBN 978-7-111-70688-5：CNY139.00 |
| 本书主要介绍4种程序分析方法一数据流分析、基于约束的分析、抽象解释、类型和作用系统, 涵盖基本语义属性和高级算法。全书共6章, 第1章为概述, 第2-5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统, 第6章为分析算法介绍。 |
| ● |
正题名：程序分析原理
索取号：TP311.1/651
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
675105
|
300675105
|
流通五库四楼/
[索取号:TP311.1/651]
|
在馆
|
|
|
2
|
675106
|
300675106
|
流通五库四楼/
[索取号:TP311.1/651]
|
在馆
|
|
