	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

2025年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

新書上架：簡體書繁體書
暢銷書架：簡體書繁體書
好書推介：簡體書繁體書

一月出版：大陸書台灣書
12月出版：大陸書台灣書
11月出版：大陸書台灣書
十月出版：大陸書台灣書
九月出版：大陸書台灣書
八月出版：大陸書台灣書
七月出版：大陸書台灣書
六月出版：大陸書台灣書
五月出版：大陸書台灣書
四月出版：大陸書台灣書
三月出版：大陸書台灣書
二月出版：大陸書台灣書
一月出版：大陸書台灣書
12月出版：大陸書台灣書

『簡體書』编程的修炼

書城自編碼： 3541895
分類：簡體書→大陸圖書→計算機/網絡→程序設計
作者： [荷兰]艾兹格· W.，迪杰斯特拉[Edsger W.，Di
國際書號(ISBN)： 9787115512239
出版社：人民邮电出版社
出版日期： 2020-09-01

頁數/字數： /
釘裝：平装

售價：HK$ 72.6

我要買件

** 我創建的書架 **
未登入.

新書推薦：

《世界军事战略经典：海权论+陆权论+空权论（全3册）》
售價：HK$ 173.8

《论断与概念》
售價：HK$ 96.8

《通用图形处理器指令集架构和软硬件设计——乘影开源GPGPU设计透视》
售價：HK$ 141.9

《游牧者的抉择：面对汉帝国的北亚游牧部族》
售價：HK$ 76.8

《从“四夷”到“外国”：《宋史·外国传》研究国家社科基金后期资助项目》
售價：HK$ 96.8

《苏格拉底的虔敬：读柏拉图《游叙弗伦》笔记》
售價：HK$ 86.9

《思辨者的罗盘：从逻辑谬误到严谨表达》
售價：HK$ 61.6

《面具之下：近代日本报人对华情报活动》
售價：HK$ 96.8

編輯推薦：

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

內容簡介：

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

關於作者：

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

第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

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	香港用户　 \|　台灣用户　\|　海外用户

	megBook.com.hk
Copyright © 2013 - 2026 （香港）大書城有限公司　 All Rights Reserved.