閱讀(18.7k) 書簽贊(0) 我要糾錯

編寫正確的程序

2018-02-24 15:53 更新

編寫正確的程序

本章以二分搜索為例子，講述了如何對程序進(jìn)行驗證及正確性分析。

深入閱讀：David Gries的《Science of Programming》是程序驗證領(lǐng)域里極佳的一本入門書籍。

以上內(nèi)容是否對您有幫助：

← 數(shù)據(jù)決定程序結(jié)構(gòu)

編程中的次要問題 →

寫筆記

我要補充

<small id="yw4bc"><tbody id="yw4bc"></tbody></small>