關于我們
書單推薦
新書推薦

程序分析原理

程序分析原理

定  價:139 元

叢書名:計算機科學叢書

        

  • 作者:[丹]弗萊明·尼爾森(Flemming Nielson),[丹]漢內(nèi)·里斯·尼爾森(Hanne Riis Nielson),[英]克里斯·漢金(Chris Hankin) 著
  • 出版時間:2022/7/1
  • ISBN:9787111706885
  • 出 版 社:機械工業(yè)出版社
  • 中圖法分類:TP311.11 
  • 頁碼:300
  • 紙張:
  • 版次:
  • 開本:16
9
7
7
8
0
7
6
1
8
1
8
1
5

讀者對象:程序分析方向研究人員及學生,以及相關從業(yè)人員

該書共分為6章,其中第1章為介紹,第2~5章依次為數(shù)據(jù)流分析、基于約束的分析、抽象解釋、類型和作用系統(tǒng),第6章為分析算法介紹。該書內(nèi)容基本囊括了程序分析領域中的經(jīng)典方法和技術,配以嚴謹?shù)男问交到y(tǒng),全書思路清晰、邏輯性強,是不可多得的經(jīng)典書籍。

 你還可能感興趣
 我要評論
您的姓名   驗證碼: 圖片看不清?點擊重新得到驗證碼
留言內(nèi)容