程序分析方法

收藏
  • 【作者】刘磊 [等]编著
  • 【关键词】程序分析
  • 【出版社】机械工业出版社
  • 【出版日期】2013
  • 【ISBN】978-7-111-42252-5
  • 【中图分类号】 TP311.11
  • 【内容简介】本书共7章,第1章介绍程序设计语言的历史以及未来的发展趋势。第2章介绍元程序设计,包括元程序的概述、元程序系统及其应用。第3章介绍信息流分析技术。第4章介绍别名分析的相关知识。第5章介绍程序分片的基础知识和方法。第6章介绍形式概念分析的相关知识和应用。第7章介绍分求值技术的相关内容。全部展开
  • 【页码】196页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 杭州图书馆 滨江区图书馆 宁波图书馆 绍兴图书馆 绍兴市越城区图书馆 瑞安市图书馆 更多 +

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。