编程的修炼--聚文网

精选

¥5.83

世界图书名著昆虫记绿野仙踪木偶奇遇记儿童书籍彩图注音版

¥5.39

正版世界名著文学小说名家名译中学生课外阅读书籍图书批发 70册

¥8.58

简笔画10000例加厚版2-6岁幼儿童涂色本涂鸦本绘画本填色书正版

¥5.83

世界文学名著全49册中小学生青少年课外书籍文学小说批发正版

¥4.95

全优冲刺100分测试卷一二三四五六年级上下册语文数学英语模拟卷

¥8.69

父与子彩图注音完整版小学生图书批发儿童课外阅读书籍正版1册

¥24.2

好玩的洞洞拉拉书0-3岁宝宝早教益智游戏书机关立体翻翻书4册

¥7.15

幼儿认字识字大王3000字幼儿园中班大班学前班宝宝早教启蒙书

¥11.55

用思维导图读懂儿童心理学培养情绪管理与性格培养故事指导书

¥19.8

少年读漫画鬼谷子全6册在漫画中学国学小学生课外阅读书籍正版

¥64

科学真好玩

¥12.7

一年级下4册·读读童谣和儿歌

¥38.4

原生态新生代(传统木版年画的当代传承国际研讨会论文集)

¥11.14

法国经典中篇小说

¥11.32

上海的狐步舞--穆时英(中国现代文学馆馆藏初版本经典)

¥21.56

猫的摇篮(精)

¥30.72

幼儿园特色课程实施方案/幼儿园生命成长启蒙教育课程丛书

旧时风物(精)

三希堂三帖/墨林珍赏

寒山子庞居士诗帖/墨林珍赏

苕溪帖/墨林珍赏

楷书王维诗卷/墨林珍赏

兰亭序/墨林珍赏

祭侄文稿/墨林珍赏

蜀素帖/墨林珍赏

真草千字文/墨林珍赏

进宴仪轨(精)/中国古代舞乐域外图书

舞蹈音乐的基础理论与应用

编辑推荐

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

内容简介

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

作者简介

艾兹格·W.迪科斯彻（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

编程的修炼

库存： {{selectedSku?.stock}} 库存充足