《程序設計方法學》內容涉及結構程序的概念、程序設計的主要控製結構、程序正確性的證明、數據類型抽象、遞歸方法、逐步求精法、模塊設計和推導技術,最後介紹近幾年新發展的程序變換技術。
發表於2024-12-30
程序設計方法學 2024 pdf epub mobi 電子書 下載
圖書標籤: 編程 計算機 程序設計 流行 搖滾 感動 傷感
草草翻瞭一遍,雖然內容有點老舊瞭,但形式化的推導是目前很多程序設計書裏沒有的。有需要的朋友,可以翻翻。
評分草草翻瞭一遍,雖然內容有點老舊瞭,但形式化的推導是目前很多程序設計書裏沒有的。有需要的朋友,可以翻翻。
評分草草翻瞭一遍,雖然內容有點老舊瞭,但形式化的推導是目前很多程序設計書裏沒有的。有需要的朋友,可以翻翻。
評分話說當時看瞭還是蠻有感覺噠
評分話說當時看瞭還是蠻有感覺噠
程序設計方法學 2024 pdf epub mobi 電子書 下載