MARC状态：审校 文献类型：中文图书 浏览次数：73
- 题名/责任者:
- 程序分析方法/刘磊 ... [等] 编著
- 出版发行项:
- 北京:机械工业出版社,2013
- ISBN及定价:
- 978-7-111-42252-5/CNY45.00
- 载体形态项:
- 196页:图;24cm
- 并列正题名:
- Program analysis methods
- 个人责任者:
- 刘磊 编著
- 学科主题:
- 程序分析
- 中图法分类号:
- TP311.11
- 书目附注:
- 有书目 (第195-196页)
- 提要文摘附注:
- 本书共7章，包括：程序设计语言的历史以及未来的发展趋势；元程序设计，包括元程序的概述、元程序系统及其应用；信息流分析技术；别名分析的相关知识；程序分片的基础知识和方法；形式概念分析的相关知识和应用；部分求值技术的相关内容。
- 随书光盘:
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
| TP311.11/36 | 01085745 |  西区4层
|
可借 | |
| TP311.11/36 | 01085746 | 东3层4区
|
可借 |
显示全部馆藏信息