編寫正確的程序

2018-02-24 15:53 更新

編寫正確的程序

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

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

以上內(nèi)容是否對(duì)您有幫助:
在線筆記
App下載
App下載

掃描二維碼

下載編程獅App

公眾號(hào)
微信公眾號(hào)

編程獅公眾號(hào)