TOP
0
0
即日起~7/10,三民書局週年慶暖身活動,簽到拿好禮!

縮小範圍


商品類型

簡體書 (1)
商品狀況

可訂購商品 (1)
庫存狀況

無庫存 (1)
商品定價

$800以上 (1)
出版日期

2022~2023 (1)
裝訂方式

平裝 (1)
作者

(丹)弗萊明‧尼爾森、(丹)漢內‧里斯‧尼爾森、(英)克里斯‧漢金 (1)
出版社/品牌

機械工業出版社 (1)

三民網路書店 / 搜尋結果

1筆商品,1/1頁
程序分析原理(簡體書)
滿額折
作者:(丹)弗萊明‧尼爾森; (丹)漢內‧里斯‧尼爾森; (英)克里斯‧漢金  出版社:機械工業出版社  出版日:2022/07/01 裝訂:平裝
本書主要介紹4種程序分析方法――數據流分析、基於約束的分析、抽象解釋、類型和作用系統,涵蓋基本語義屬性和高級算法。全書共6章,第1章為概述,第2~5章依次為數據流分析、基於約束的分析、抽象解釋、類型和作用系統,第6章為分析算法介紹。本書基本涵蓋了程序分析領域的經典方法和技術,配以嚴謹的形式化系統,思路清晰、邏輯性強,是學習和研究程序分析原理不可多得的經典書籍。
定價:834 元, 優惠價:87 726
海外經銷商無庫存,到貨日平均30天至45天

暢銷榜

客服中心

收藏

會員專區