A Discipline of Programming 在線電子書 圖書標籤: Programming Dijkstra 計算機科學 編程 計算機 經典 programming Djikstra
發表於2024-12-23
A Discipline of Programming 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
不太好理解
評分Do you want correct programs?
評分不太好理解
評分不太好理解
評分Do you want correct programs?
作者簡介:
艾茲赫爾•戴剋斯特拉(Edsger W. Dijkstra,1930年5月11日-2002年8月6日),生於荷蘭鹿特丹,自喻為荷蘭第一個以程序設計作為職業的人。他早年積極推動結構化程序設計,一生緻力於將計算(computing)發展為一門科學,在計算機科學技術的諸多領域有開拓性建樹,並由於在程序設計基礎研究中的卓越貢獻獲得1972年圖靈奬。
怎样证明一个程序是正确的?这是一个普遍被忽略的问题。 这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中,“正确”是所有其他工作的前提,开发者首先做的是证明程序是可以正确的,然后才来考虑性能、扩展性等等其他的问题,所以程序的正确性是所有有理智的...
評分上世纪80年代这本书的影印版在国内高校计算机界广为流传,尔后却消失匿迹,重读到此书,已是十几年之后的事了。 由裘宗燕老师来翻译这本书,我想应该是很好的。裘老师广博多闻,在计算机方面译著极多,而且大多是重量级的,读起来错误不多,质量很高。 ...
評分怎样证明一个程序是正确的?这是一个普遍被忽略的问题。 这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中,“正确”是所有其他工作的前提,开发者首先做的是证明程序是可以正确的,然后才来考虑性能、扩展性等等其他的问题,所以程序的正确性是所有有理智的...
評分这本书挺难翻译的。读原文读的巨吃力。主要是那种绕来绕去又特别profound的说话风格。确实不好翻译。而且我觉着英语的表达力比汉语要强。尤其是表达特别复杂的概念的时候。各种定语从句套定语从句的时候。。。 再加上裘老翻译的时候选词比较“信”,有的地方反而不够“达”。翻...
評分这本书挺难翻译的。读原文读的巨吃力。主要是那种绕来绕去又特别profound的说话风格。确实不好翻译。而且我觉着英语的表达力比汉语要强。尤其是表达特别复杂的概念的时候。各种定语从句套定语从句的时候。。。 再加上裘老翻译的时候选词比较“信”,有的地方反而不够“达”。翻...
A Discipline of Programming 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024