本書介紹程序設(shè)計方法學(xué)，包括結(jié)構(gòu)化程序、程序正確性證明、結(jié)構(gòu)化程序的正確性證明、遞歸程序及其正確性證明、程序的形式推導(dǎo)技術(shù)、程序變換技術(shù)、面向?qū)ο蟮脑O(shè)計方法和大型程序設(shè)計方法學(xué)基礎(chǔ)等內(nèi)容。