從規(guī)范出發(fā)的程序設(shè)計(jì)

本書詳細(xì)論述了有關(guān)規(guī)范程序設(shè)計(jì)的內(nèi)容，包括：程序和精化、謂詞演算、選擇、迭代、構(gòu)造類型、模塊和封裝等，最后幾章還包含了大量的實(shí)例研究和一些更高級的程序設(shè)計(jì)技術(shù)。本書提倡一種嚴(yán)格的程序開發(fā)方法，分析問題要用嚴(yán)格方式寫出程序的規(guī)范，而后通過一系列具有嚴(yán)格理論基礎(chǔ)的推導(dǎo)，最終得到可以運(yùn)行的程序。

本書是被世界上許多重要大學(xué)采用的教材，適于計(jì)算機(jī)及相關(guān)專業(yè)的本科生和研究生使用。