作者简介:
艾兹赫尔•戴克斯特拉(Edsger W. Dijkstra,1930年5月11日-2002年8月6日),生于荷兰鹿特丹,自喻为荷兰第一个以程序设计作为职业的人。他早年积极推动结构化程序设计,一生致力于将计算(computing)发展为一门科学,在计算机科学技术的诸多领域有开拓性建树,并由于在程序设计基础研究中的卓越贡献获得1972年图灵奖。
发表于2024-11-21
A Discipline of Programming 2024 pdf epub mobi 电子书
怎样证明一个程序是正确的?这是一个普遍被忽略的问题。 这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中,“正确”是所有其他工作的前提,开发者首先做的是证明程序是可以正确的,然后才来考虑性能、扩展性等等其他的问题,所以程序的正确性是所有有理智的...
评分上世纪80年代这本书的影印版在国内高校计算机界广为流传,尔后却消失匿迹,重读到此书,已是十几年之后的事了。 由裘宗燕老师来翻译这本书,我想应该是很好的。裘老师广博多闻,在计算机方面译著极多,而且大多是重量级的,读起来错误不多,质量很高。 ...
评分这本书挺难翻译的。读原文读的巨吃力。主要是那种绕来绕去又特别profound的说话风格。确实不好翻译。而且我觉着英语的表达力比汉语要强。尤其是表达特别复杂的概念的时候。各种定语从句套定语从句的时候。。。 再加上裘老翻译的时候选词比较“信”,有的地方反而不够“达”。翻...
评分怎样证明一个程序是正确的?这是一个普遍被忽略的问题。 这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中,“正确”是所有其他工作的前提,开发者首先做的是证明程序是可以正确的,然后才来考虑性能、扩展性等等其他的问题,所以程序的正确性是所有有理智的...
评分怎样证明一个程序是正确的?这是一个普遍被忽略的问题。 这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中,“正确”是所有其他工作的前提,开发者首先做的是证明程序是可以正确的,然后才来考虑性能、扩展性等等其他的问题,所以程序的正确性是所有有理智的...
图书标签: Programming Dijkstra 计算机科学 编程 计算机 经典 programming Djikstra
不太好理解
评分不太好理解
评分不太好理解
评分不太好理解
评分不太好理解
A Discipline of Programming 2024 pdf epub mobi 电子书