|
题名:
|
程序分析方法 cheng xu fen xi fang fa / 刘磊等编著 , |
|
ISBN:
|
978-7-111-42252-5 价格： CNY45.00 |
|
语种:
|
chi |
|
载体形态:
|
177页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2013 |
|
内容提要:
|
本书主要内容为：元程序设计、信息流分析、形式概念分析、别名分析、程序分片和部分求值等各种目前主流的程序分析方法。 |
|
主题词:
|
程序分析 |
|
中图分类法:
|
TP311.11 版次： 5 |
|
主要责任者:
|
刘磊 liu lei 等编著 |
|
责任者附注:
|
刘磊，吉林大学教授，现任吉林大学第一届教学委员会委员、信息学部学术委员会副主任委员和计算机科学与技术学院学术委员会主任委员。 |
|
索书号:
|
TP311.11/0060 |