同类推荐
-
-
巧用WorkBuddy高效办公
-
¥59.00
-
-
巧用WorkBuddy高效办公
-
¥59.00
-
-
巧用WorkBuddy高效办公
-
¥59.00
-
-
Seedance从入门到精通:即梦AI从创意到一键生成…
-
¥69.00
-
-
Seedance从入门到精通:即梦AI从创意到一键生成…
-
¥69.00
-
-
Seedance从入门到精通:即梦AI从创意到一键生成…
-
¥69.00
-
-
Spring AI开发从入门到实践
-
¥89.00
-
-
Spring AI开发从入门到实践
-
¥89.00
-
-
Spring AI开发从入门到实践
-
¥89.00
-
-
智能持续安全：构建AI驱动的软件全生命周期安全体系
-
¥99.00
|
|
图书信息
|
|
|
|
程序分析原理
|
| ISBN： | 9787111706885 |
定价： | ￥139.00 |
| 作者： | (丹)弗莱明·尼尔森(Flemming Nielson)，(丹)汉内·里斯·尼尔森(Hanne Riis Nielson)，(英)克里斯·汉金(Chris Hankin)著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2022年07月 |
开本： | 26cm |
| 页数： | 291页 |
装祯： | 平装 |
中图法： | TP311.11 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
311
|
|
2026-10-27
|
图书简介 | | 本书主要介绍4种程序分析方法—数据流分析、基于约束的分析、抽象解释、类型和作用系统，涵盖基本语义属性和高级算法。全书共6章，第1章为概述，第2~5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统，第6章为分析算法介绍。 |
|