MARC状态:审校 文献类型:中文图书 浏览次数:59
- 题名/责任者:
- 程序分析方法/刘磊 ... [等] 编著
- 出版发行项:
- 北京:机械工业出版社,2013
- ISBN及定价:
- 978-7-111-42252-5/CNY45.00
- 载体形态项:
- 196页:图;24cm
- 并列正题名:
- Program analysis methods
- 个人责任者:
- 刘磊 编著
- 学科主题:
- 程序分析
- 中图法分类号:
- TP311.11
- 书目附注:
- 有书目 (第195-196页)
- 提要文摘附注:
- 本书以程序为处理对象,介绍按需求对其进行各种分析的方法。每章独立介绍一种程序分析方法,相关章节对比分析不同程序分析方法的优点、缺点和适用范围,并着重介绍了元程序设计、信息流分析、形式概念分析、别名分析、程序分片和部分求值等方法。
全部MARC细节信息>>