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