|
000
|
01241nam0 2200325 450
|
|
001
|
97905
|
|
005
|
20140806154807.15
|
|
009
|
012013075004
|
|
010
|
|
@a978-7-111-42252-5@b简装@dCNY45.00
|
|
100
|
|
@a20130613d2013 em y0chiy50 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa z 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a程序分析方法@Acheng xu fen xi fang fa@d= Program analysis methods@f刘磊 ... [等] 编著@zeng
|
|
205
|
|
@a第1版
|
|
210
|
|
@a北京@c机械工业出版社@d2013.06
|
|
215
|
|
@a196页@c图@d24cm
|
|
304
|
|
@a题名页题其余责任者: 张晶, 赵健, 张鹏
|
|
320
|
|
@a有书目 (第195-196页)
|
|
330
|
|
@a本书共7章, 第1章介绍程序设计语言的历史以及未来的发展趋势。第2章介绍元程序设计, 包括元程序的概述、元程序系统及其应用。第3章介绍信息流分析技术。第4章介绍别名分析的相关知识。第5章介绍程序分片的基础知识和方法。第6章介绍形式概念分析的相关知识和应用。第7章介绍分求值技术的相关内容。
|
|
510
|
1
|
@aProgram analysis methods@zeng
|
|
606
|
0
|
@a程序分析@Acheng xu fen xi
|
|
690
|
|
@aTP311.1@v5
|
|
701
|
0
|
@a张晶@Azhang jing@4编著
|
|
701
|
0
|
@a赵健@Azhao jian@4编著
|
|
701
|
0
|
@a刘磊@Aliu lei@4编著
|
|
701
|
0
|
@a张鹏@Azhang peng@4编著
|
|
801
|
0
|
@aCN@b郑州旅游职业学院@c20140725
|
|
905
|
|
@aZZLYZY@dTP311.1@e48@f5
|
|
|
|
|
| |
| 程序分析方法= Program analysis methods/刘磊 ... [等] 编著.-第1版.-北京：机械工业出版社，2013.06 |
| 196页：图；24cm |
| |
| |
| ISBN 978-7-111-42252-5(简装)：CNY45.00 |
| 本书共7章, 第1章介绍程序设计语言的历史以及未来的发展趋势。第2章介绍元程序设计, 包括元程序的概述、元程序系统及其应用。第3章介绍信息流分析技术。第4章介绍别名分析的相关知识。第5章介绍程序分片的基础知识和方法。第6章介绍形式概念分析的相关知识和应用。第7章介绍分求值技术的相关内容。 |
| ● |
正题名：程序分析方法
索取号：TP311.1/48
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
0655521
|
206555217
|
十四楼书库/14E12B0405/
[索取号:TP311.1/48]
|
在馆
|
架位导航
|
|
2
|
0655522
|
206555226
|
十四楼书库/14E12B0405/
[索取号:TP311.1/48]
|
在馆
|
架位导航
|
|
3
|
0655523
|
206555235
|
十四楼书库/14E12B0405/
[索取号:TP311.1/48]
|
在馆
|
架位导航
|
|
4
|
0655524
|
206555244
|
一楼密集书库B区/
[索取号:TP311.1/48]
|
在馆
|
架位导航
|
|
5
|
0655525
|
206555253
|
一楼密集书库B区/
[索取号:TP311.1/48]
|
在馆
|
架位导航
|
