正版现货 程序分析原理
编程语言 新华书店全新正版书籍
￥ 82.49 5.9折 ￥ 139 全新
库存2件
北京东城
认证卖家担保交易快速发货售后保障
作者克里斯·汉金
出版社机械工业出版社
ISBN9787111706885
出版时间2022-07
版次1
装帧其他
开本16开
页数300页
定价139元
货号1202684863
上书时间2023-12-02
- 在售商品 暂无
- 平均发货时间 22小时
- 好评率 暂无
- 店主推荐
- 最新上架
商品详情
- 品相描述：全新
- 商品描述
-
名称：程序分析原理
作者：克里斯·汉金
品相：全新
出版时间：2022-07
装订：其他
ISBN：9787111706885
开本：16开
出版社：机械工业出版社
版次：1
页数：300页
商品描述：
本书主要介绍4种程序分析方法一数据流分析、基于约束的分析、抽象解释、类型和作用系统，涵盖基本语义属性和高级算法。全书共6章，第1章为概述，第2~5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统，第6章为分析算法介绍。本书基本涵盖了程序分析领域的经典方法和技术，配以严谨的形式化系统，思路清晰、逻辑性强，是学习和研究程序分析原理的经典书籍。 本书既适合作为程序分析相关硕博研究生课程的教材，也适合相关专业研究人员和专业人士阅读。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价