程序分析技术x

计算机 · BOOK PROFILE

《程序分析技术x》

作者:刘磊

程序分析技术上以程序为处理对象,按需求对其进行各种分析的方法,在程序理解,程序测试,程序优化和程序重构等方面有着重要的应用。本书把当前常用的程序分析方法和作者的科研成果相结合,着重介绍了元程序设计,信息流分析、形式概念分析,别名分析,程序分片和部分求值等内容。本书可作为计算机本科生,研究生教材,或计算机专业高年级选修课教材,也可作为计算机研与开发人员的参考书。

ABOUT THE BOOK

内容简介

程序分析技术上以程序为处理对象,按需求对其进行各种分析的方法,在程序理解,程序测试,程序优化和程序重构等方面有着重要的应用。本书把当前常用的程序分析方法和作者的科研成果相结合,着重介绍了元程序设计,信息流分析、形式概念分析,别名分析,程序分片和部分求值等内容。本书可作为计算机本科生,研究生教材,或计算机专业高年级选修课教材,也可作为计算机研与开发人员的参考书。

READING NOTES

《程序分析技术x》读书笔记与读后感

共 0 篇
相关文章正在整理中

本页已收录书籍信息与正版资源获取说明,读书笔记和读后感会持续更新。

PDF

PDF · E-BOOK · DOWNLOAD

《程序分析技术x》PDF、电子书与下载说明

本站专注于《程序分析技术x》的读书笔记和读后感,不提供未经授权的 PDF 或电子书文件下载。建议通过出版社官网、正规数字书店或所在地公共图书馆检索正版电子书;获取前请核对作者、出版社与版本信息。

  • 优先选择出版社或正规阅读平台
  • 通过公共图书馆查询纸书及数字馆藏
  • 谨慎识别来源不明的网盘和下载链接
获取更多资讯请关注《百智汇社》公众号,回复“bk108307”获取。微信扫码关注,获取更多阅读与书籍资讯
百智汇社公众号二维码