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


编程的修炼(中英双语)

简体网页||繁体网页

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

作者简介:

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


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




点击这里下载
    


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

发表于2024-05-21

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

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

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



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


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

评分

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

评分

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

评分

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

评分

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

评分

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

类似图书 点击查看全场最低价
出版者:电子工业出版社
作者:[荷]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 提供了一种基于谓词转换器的方法论来解决实际问题. 几个关键词: 状态空间, 选择的不变定理, 循环的可终止性. 几个优化策略: 减少分支, 将重复计算的值缓存, 将不变关系提取到循环结构外, 寻找不变式的更小超集.

评分

The Humble Programmer

评分

The Humble Programmer

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


分享链接









相关图书




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

友情链接

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