图书盲袋，以书为“药”
秋景正好，书香满堂|每满88减40
欢迎光临中图网 请 | 注册
搜索
搜索全部
  • 搜索全部
  • 书名
  • 作者
  • 出版社
  • ISBN
高级搜索
我身体里的人造星星乡间的日常情感勒索神秘的黑猫
  • 合成诗经
  • 新人领礼券
  • 新用户注册领10元
中图网
>
计算机/网络
>
程序设计
>
其他
编程的修炼
分享

编程的修炼

作者：[荷兰]艾兹格· W. 迪杰斯特拉（Ed
出版社：人民邮电出版社出版时间：2020-09-01
开本： 16开 页数： 213
本类榜单：计算机/网络销量榜
中 图 价:¥41.3(7.5折) 定价  ¥55.0 登录后可看到会员价
暂时缺货 收藏
运费6元，满39元免运费
?新疆、西藏除外
本类五星书更多>
中图价:¥41.3 暂时缺货
洞明世事，从读书开始 淘书团

编程的修炼 版权信息

  • ISBN：9787115512239
  • 条形码：9787115512239 ; 978-7-115-51223-9
  • 装帧：一般胶版纸
  • 册数：暂无
  • 重量：暂无
  • 所属分类：
    计算机/网络
    >
    程序设计
    >
    其他

编程的修炼 本书特色

1.作者艾兹格·W. 迪杰斯特拉（Edsger W. Dijkstra）是计算机科学奠基人之一，图灵奖获得者，是编程界的先驱、传奇级人物；2.本书是作者重要的著作，也是计算机学科经典图书，畅销多年；3.本书写于20世纪70年代后期，但其对于编程领域的技术开发，对于编程语言的发展和程序理论研究的深刻影响持续至今；4.内容严谨，逻辑清晰，书中体现的思想对所有的编程人员起到启示指引的作用。

编程的修炼 内容简介

本书是图灵奖获得者艾兹格·W. 迪杰斯特拉（Edsger W. Dijkstra）的很重要的著作，也是编程领域里经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验，对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。本书讨论了基本顺序程序的本质特征、程序描述和对程序行为（正确性）的推理，并通过从简单到复杂的一系列程序的思考和开发范例，阐释了基于严格的逻辑推理开发正确而可靠的程序的过程。 本书写于20世纪70年代后期，但其对于编程领域的技术开发，对于编程语言的发展和程序理论研究的深刻影响持续至今。本书值得每一个关注计算机科学技术的本质，冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。

编程的修炼 目录

第0章　执行抽象 1
第　1章 编程语言的作用　6
第　2章 状态及其特征　9
第3章　语义的性质　14
第4章　一种编程语言的语义特征　22
第5章　两个定理　35
第6章　论完满终止结构的设计　39
第7章　再论欧几里得算法　43
第8章　几个小例子的形式化处理　49
第9章　论受限的非确定性　70
第　10章 简论记法：“变量的作用域”　77
第　11章 数组变量　92
第　12章 线性检索定理　103
第　13章 下一个排列　105
第　14章 荷兰国旗问题　109
第　15章 更新顺序文件　115
第　16章 再论归并　121
第　17章 R．W．HAMMING贡献的一个练习　127
第　18章 模式匹配问题　133
第　19章 将一个数写成两个平方之和　139
第　20章 大数的*小素因子　142
第　21章 *孤立村庄问题　148
第　22章 *短子支撑树问题　153
第　23章 记录等价类的REM算法　160
第　24章 三维空间的凸包问题　167
第　25章 有向图的*大强连通分支　190
第　26章 论手册和实现　199
跋　206
展开全部

编程的修炼 作者简介

艾兹格 W.迪科斯彻 （Edsger Wybe Dijkstra，1930—2002），荷兰人，计算机科学家，毕业就职于荷兰Leiden大学，早年钻研物理及数学，后转向计算学。他曾在1972年获得图灵奖，还获得过1974年 AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE计算机科学教育教学杰出贡献奖以及2002年ACM PODC**影响力论文奖。

商品评论(0条)
写书评 赚书币
暂无评论……
书友推荐
本类畅销
编辑推荐
返回顶部
新手上路
新用户指引
注册用户 更改注册信息
购物常见问题
关于特价书的常见问题
购买问题
订单跟踪
付款方式
账户余额  申请提现
配送方式及费用、范围
集团购买
售后服务
退换货流程
投诉与建议
特色服务
会员等级与书币
中图网书馨卡
邀请好友购买返10元礼包
其他信息
本站简介
联系我们
招聘英才
网站联盟
友情链接
微信公众号
中图网微信
中图网微博
中图网微博
手机中图网
手机中图网
中图网
诚信认证 电子商务诚信单位认证

京ICP备09013606号-3京信市监发[2002]122号海淀公安分局备案编号：1101083394

营业执照出版物经营许可证 京出发京批字第直110071

在线客服