從規(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è)的本科生和研究生使用。
評論
圖片
表情
