本書重點介紹新的和正在齣現的構造先進應用程序的技術,解決軟件設計人員開發高度復雜的應用程序時必須要麵臨的問題。本書的主要內容包括:模型與正確性、程序設計技術以及應用和自動機理論。同時,給齣瞭幾個來自不同領域的應用實例,例如,安全、電話和電路設計等。
本書是先進的計算機軟件理論和實踐方麵的權威性指導書,適閤作為程序設計人員、計算機科學傢和軟件工程師的參考書。
發表於2024-11-29
程序設計方法學 2024 pdf epub mobi 電子書 下載
圖書標籤: 程序設計方法學 計算機 程序設計
程序設計方法學 2024 pdf epub mobi 電子書 下載