编程的修炼(中英双语) 2024 pdf epub mobi 电子书


编程的修炼(中英双语)

简体网页||繁体网页

编程的修炼(中英双语) 2024 pdf epub mobi 电子书 著者简介

作者简介:

艾兹赫尔•戴克斯特拉(Edsger W. Dijkstra,1930年5月11日-2002年8月6日),生于荷兰鹿特丹,自喻为荷兰第一个以程序设计作为职业的人。他早年积极推动结构化程序设计,一生致力于将计算(computing)发展为一门科学,在计算机科学技术的诸多领域有开拓性建树,并由于在程序设计基础研究中的卓越贡献获得1972年图灵奖。


编程的修炼(中英双语) 电子书 图书目录




点击这里下载
    


想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-21

编程的修炼(中英双语) 2024 pdf epub mobi 电子书

编程的修炼(中英双语) 2024 pdf epub mobi 电子书

编程的修炼(中英双语) 2024 pdf epub mobi 电子书



喜欢 编程的修炼(中英双语) 电子书 的读者还喜欢


编程的修炼(中英双语) 电子书 读后感

评分

这本书挺难翻译的。读原文读的巨吃力。主要是那种绕来绕去又特别profound的说话风格。确实不好翻译。而且我觉着英语的表达力比汉语要强。尤其是表达特别复杂的概念的时候。各种定语从句套定语从句的时候。。。 再加上裘老翻译的时候选词比较“信”,有的地方反而不够“达”。翻...  

评分

怎样证明一个程序是正确的?这是一个普遍被忽略的问题。 这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中,“正确”是所有其他工作的前提,开发者首先做的是证明程序是可以正确的,然后才来考虑性能、扩展性等等其他的问题,所以程序的正确性是所有有理智的...

评分

这本书挺难翻译的。读原文读的巨吃力。主要是那种绕来绕去又特别profound的说话风格。确实不好翻译。而且我觉着英语的表达力比汉语要强。尤其是表达特别复杂的概念的时候。各种定语从句套定语从句的时候。。。 再加上裘老翻译的时候选词比较“信”,有的地方反而不够“达”。翻...  

评分

上世纪80年代这本书的影印版在国内高校计算机界广为流传,尔后却消失匿迹,重读到此书,已是十几年之后的事了。 由裘宗燕老师来翻译这本书,我想应该是很好的。裘老师广博多闻,在计算机方面译著极多,而且大多是重量级的,读起来错误不多,质量很高。 ...  

评分

这本书挺难翻译的。读原文读的巨吃力。主要是那种绕来绕去又特别profound的说话风格。确实不好翻译。而且我觉着英语的表达力比汉语要强。尤其是表达特别复杂的概念的时候。各种定语从句套定语从句的时候。。。 再加上裘老翻译的时候选词比较“信”,有的地方反而不够“达”。翻...  

类似图书 点击查看全场最低价
出版者:电子工业出版社
作者:[荷]Edsger W. Dijkstra
出品人:
页数:456
译者:裘宗燕
出版时间:2013-7
价格:79.00元
装帧:平装
isbn号码:9787121202506
丛书系列:

图书标签: 编程  计算机科学  计算机  程序设计  Dijkstra  经典  Programming  编程思维   


编程的修炼(中英双语) 2024 pdf epub mobi 电子书 图书描述

本书是图灵奖获得者Edsger W. Dijkstra在编程领域里的经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验,对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并通过一系列从简单到复杂的程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确可靠程序的过程。

本书写于20世纪70年代中后期,但其对编程技术领域的开发、编程语言发展和程序理论研究的深刻影响持续至今。本书值得每个关注计算机科学技术的本质,冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。

编程的修炼(中英双语) 2024 pdf epub mobi 电子书

编程的修炼(中英双语) 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

编程的修炼(中英双语) 2024 pdf epub mobi 用户评价

评分

Dijkstra 提供了一种基于谓词转换器的方法论来解决实际问题. 几个关键词: 状态空间, 选择的不变定理, 循环的可终止性. 几个优化策略: 减少分支, 将重复计算的值缓存, 将不变关系提取到循环结构外, 寻找不变式的更小超集.

评分

Dijkstra 提供了一种基于谓词转换器的方法论来解决实际问题. 几个关键词: 状态空间, 选择的不变定理, 循环的可终止性. 几个优化策略: 减少分支, 将重复计算的值缓存, 将不变关系提取到循环结构外, 寻找不变式的更小超集.

评分

有点老了。讲得很形式化和抽象。

评分

有点老了。讲得很形式化和抽象。

评分

The Humble Programmer

编程的修炼(中英双语) 2024 pdf epub mobi 电子书


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有