登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2025年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 政治人--政治的社会基础（东方编译所译丛） 》 售價：NT$ 602 《 大国崛起战略论：地理与世界霸权+海权论+陆权论+空权论+战争论（全译足本无任何删节-同人阁） 》 售價：NT$ 1310 《 故宫藏影—西洋镜里的宫廷人物 》 售價：NT$ 1836 《 伊利亚特 ： 希腊语、汉语对照 》 售價：NT$ 959 《 世界军事战略经典：海权论+陆权论+空权论（全3册） 》 售價：NT$ 806 《 论断与概念 》 售價：NT$ 449 《 通用图形处理器指令集架构和软硬件设计——乘影开源GPGPU设计透视 》 售價：NT$ 658 《 游牧者的抉择：面对汉帝国的北亚游牧部族 》 售價：NT$ 356

編輯推薦： 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.tw
Copyright (C) 2013 - 2026 （香港）大書城有限公司　All Rights Reserved.