作者簡介:
艾茲赫爾•戴剋斯特拉(Edsger W. Dijkstra,1930年5月11日-2002年8月6日),生於荷蘭鹿特丹,自喻為荷蘭第一個以程序設計作為職業的人。他早年積極推動結構化程序設計,一生緻力於將計算(computing)發展為一門科學,在計算機科學技術的諸多領域有開拓性建樹,並由於在程序設計基礎研究中的卓越貢獻獲得1972年圖靈奬。
發表於2024-12-28
A Discipline of Programming 2024 pdf epub mobi 電子書 下載
怎樣證明一個程序是正確的?這是一個普遍被忽略的問題。 這並不是說軟件開發者們從不考慮這個問題。在一個程序的開發過程中,“正確”是所有其他工作的前提,開發者首先做的是證明程序是可以正確的,然後纔來考慮性能、擴展性等等其他的問題,所以程序的正確性是所有有理智的...
評分上世紀80年代這本書的影印版在國內高校計算機界廣為流傳,爾後卻消失匿跡,重讀到此書,已是十幾年之後的事瞭。 由裘宗燕老師來翻譯這本書,我想應該是很好的。裘老師廣博多聞,在計算機方麵譯著極多,而且大多是重量級的,讀起來錯誤不多,質量很高。 ...
評分怎樣證明一個程序是正確的?這是一個普遍被忽略的問題。 這並不是說軟件開發者們從不考慮這個問題。在一個程序的開發過程中,“正確”是所有其他工作的前提,開發者首先做的是證明程序是可以正確的,然後纔來考慮性能、擴展性等等其他的問題,所以程序的正確性是所有有理智的...
評分怎樣證明一個程序是正確的?這是一個普遍被忽略的問題。 這並不是說軟件開發者們從不考慮這個問題。在一個程序的開發過程中,“正確”是所有其他工作的前提,開發者首先做的是證明程序是可以正確的,然後纔來考慮性能、擴展性等等其他的問題,所以程序的正確性是所有有理智的...
評分這本書挺難翻譯的。讀原文讀的巨吃力。主要是那種繞來繞去又特彆profound的說話風格。確實不好翻譯。而且我覺著英語的錶達力比漢語要強。尤其是錶達特彆復雜的概念的時候。各種定語從句套定語從句的時候。。。 再加上裘老翻譯的時候選詞比較“信”,有的地方反而不夠“達”。翻...
圖書標籤: Programming Dijkstra 計算機科學 編程 計算機 經典 programming Djikstra
Do you want correct programs?
評分Do you want correct programs?
評分Do you want correct programs?
評分不太好理解
評分不太好理解
A Discipline of Programming 2024 pdf epub mobi 電子書 下載