A Discipline of Programming•书评
-
程序(Program)的正确性
0有用 0无用 Hakura Matata 2017-03-28
怎样证明一个程序是正确的?这是一个普遍被忽略的问题。这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中,“正确”是所有其他工作的前提,开发者首先做的是证明程序是可以正确的,然后才来考虑性能...
-
直接看翻译会觉得晦涩
0有用 0无用 hgz一般人 2017-04-07
这本书挺难翻译的。读原文读的巨吃力。主要是那种绕来绕去又特别profound的说话风格。确实不好翻译。而且我觉着英语的表达力比汉语要强。尤其是表达特别复杂的概念的时候。各种定语从句套定语从句的时候。。...
-
大师的书的确读来有难度
3有用 4无用 风纪扣v 2013-10-02
上世纪80年代这本书的影印版在国内高校计算机界广为流传,尔后却消失匿迹,重读到此书,已是十几年之后的事了。由裘宗燕老师来翻译这本书,我想应该是很好的。裘老师广博多闻,在计算机方面译著极多,而且大多是重...
书名: A Discipline of Programming
作者: [荷] Edsger W·Dijkstra
出版社: Prentice Hall, Inc.
出版年: 1976-10-28
页数: 217
定价: USD 87.33
装帧: Paperback
ISBN: 9780132158718