本書是圖靈獎獲得者艾茲格·W. 迪傑斯特拉(Edsger W. Dijkstra)的最重要的著作,也是編程領域裡經典著作中的經典。作者基於其敏銳的洞察力和長期的實際編程經驗,對基本順序程序的描述和開發中的許多關鍵問題做了獨到的總結和開發。本書討論了基本順序程序的本質特徵、程序描述和對程序行為(正確性)的推理,並通過從簡單到複雜的一系列程序的思考和開發範例,闡釋了基於嚴格的邏輯推理開發正確而可靠的程序的過程。本書寫於20世紀70年代後期,但其對於編程領域的技術開發,對於編程語言的發展和程序理論研究的深刻影響持續至今。本書值得每一個關注計算機科學技術的本質,冀求在程序和軟件領域有長遠發展的計算機工作者、教師和學生閱讀。