圖書標籤: 軟件工程 計算機 形式化方法 軟件開發 程序 編程 方法論 Methodology
发表于2024-12-23
從規範齣發的程序設計 pdf epub mobi txt 電子書 下載 2024
本書詳細論述瞭有關規範程序設計的內容,包括:程序和精化、謂詞演算、選擇、迭代、構造類型、模塊和封裝等,最後幾章還包含瞭大量的實例研究和一些更高級的程序設計技術。本書提倡一種嚴格的程序開發方法,分析問題要用嚴格方式寫齣程序的規範,而後通過一係列具有嚴格理論基礎的推導,最終得到可以運行的程序。
本書是被世界上許多重要大學采用的教材,適於計算機及相關專業的本科生和研究生使用。
評分
評分
評分
評分
從規範齣發的程序設計 pdf epub mobi txt 電子書 下載 2024