編程的修煉

本書是圖靈獎獲得者 Edsger W. Dijkstra 的最重要的著作，也是編程領域里經(jīng)典著作中的經(jīng)典。作者基于其敏銳的洞察力和長期的實際編程經(jīng)驗，對基本順序程序的描述和開發(fā)中的許多關鍵問題做了獨到的總結(jié)和開發(fā)。本書討論了基本順序程序的本質(zhì)特征、程序描述和對程序行為（正確性）的推理，并通過從簡單到復雜的一系列程序的思考和開發(fā)范例，闡釋了基于嚴格的邏輯推理開發(fā)正確而可靠的程序的過程。

本書寫于20世紀70年代后期，但其對于編程領域的技術開發(fā)，對于編程語言的發(fā)展和程序理論研究的深刻影響持續(xù)至今。本書值得每一個關注計算機科學技術的本質(zhì)，冀求在程序和軟件領域有長遠發(fā)展的計算機工作者、教師和學生閱讀。

Edsger Wybe Dijkstra（1930—2002）

荷蘭人，計算機科學家，畢業(yè)就職于荷蘭Leiden大學，早年鉆研物理及數(shù)學，后轉(zhuǎn)向計算學。他曾在1972年獲得圖靈獎，還獲得過1974年 AFIPS Harry Goode Memorial Award、1989年 ACM SIGCSE 計算機科學教育教學杰出貢獻獎以及2002年 ACM PODC 影響力論文獎。