程序分析技術上以程序為處理對象,按需求對其進行各種分析的方法,在程序理解,程序測試,程序優化和程序重構等方麵有著重要的應用。本書把當前常用的程序分析方法和作者的科研成果相結閤,著重介紹瞭元程序設計,信息流分析、形式概念分析,彆名分析,程序分片和部分求值等內容。本書可作為計算機本科生,研究生教材,或計算機專業高年級選修課教材,也可作為計算機研與開發人員的參考書。
發表於2024-11-10
程序分析技術 2024 pdf epub mobi 電子書 下載
圖書標籤: 計算機
程序分析技術 2024 pdf epub mobi 電子書 下載