本書是圖靈獎獲得者Edsger W. Dijkstra在編程領域里的經典著作中的經典。作者基于其敏銳的洞察力和長期的實際編程經驗，對基本順序程序的描述和開發(fā)中的許多關鍵問題做了獨到的總結和開發(fā)。書中討論了順序程序的本質特征、程序描述和對程序行為（正確性）的推理，并通過一系列從簡單到復雜的程序的思考和開發(fā)范例，闡釋了基于嚴格的邏輯推理開發(fā)正確可靠程序的過程。本書寫于20世紀70年代中后期，但其對編程技術領域的開發(fā)、編程語言發(fā)展和程序理論研究的深刻影響持續(xù)至今。本書值得每個關注計算機科學技術的本質，冀求在程序和軟件領域有長遠發(fā)展的計算機工作者、教師和學生閱讀。
作者簡介
艾茲赫爾·戴克斯特拉（Edsger W. Dijkstra，1930年5月11日－2002年8月6日），生于荷蘭鹿特丹，自喻為荷蘭第一個以程序設計作為職業(yè)的人。他早年積極推動結構化程序設計，一生致力于將計算（computing）發(fā)展為一門科學，在計算機科學技術的諸多領域有開拓性建樹，并由于在程序設計基礎研究中的卓越貢獻獲得1972年圖靈獎。譯者簡介：裘宗燕，北京大學數學學院教授。主要研究興趣是軟件形式化方法和程序設計的理論基礎，也關注程序設計實踐。翻譯過若干相關著作，包括《從規(guī)范出發(fā)的程序設計》、《B方法》、《編程原本》、《計算機程序的構造和解釋》、《C++語言的設計和演化》等。
鄂公網安備 42010302001612號 