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