本书是图灵奖获得者EdsgerW.Dijkstra在编程领域里的经典着作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验，对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程序的本质特征、程序描述和对程序行为(正确性)的推理，并通过一系列从简单到复杂的程序的思考和开发范例，阐释了基于严格的逻辑推理开发正确可靠程序的过程。

📙 相关书籍

  1. 《双语版C程序设计》高清PDF 本书共14章内容，由浅入深全面介绍C程序设计方法，包括基本数据类型和基本输出输出方式、各种控制结构和语句、指针和数组、字符串、函数、结构、文件输入和输出等内容，最后讨论了C预处理器。...
  2. 《Java程序设计实验指导 双语版》高清PDF 本书是一部双语实验教材,在教材中提供了相应内容的英文和中文;每一章开始首先对本章主要的知识点给出了概括和精辟的讲解与分析,同时给出1-2个综合性的例题;在实验部分围绕本章的重点、难点知识合理选择实验题目,同时给出了实验的参考答案和运行结果。...
  3. 《双语版C++程序设计》高清PDF 本书由在计算机程序设计方面有着丰富教学和实践经验的中外作者合作编写。本书内容共分14章，由浅入深、全面介绍C++程序设计方法。...
  4. 《数字逻辑与Verilog设计 第3版 英、汉》高清PDF 本书系统论述数字逻辑电路设计的基本原理，基本方法与手段。并以Verilog硬件描述语言为工具，介绍了数字逻辑电路的实例设计。...
  5. 《双语版C程序设计》高清PDF 本书由在计算机程序设计方面有着丰富教学和实践经验的中外作者合作编写。共分14章内容，由浅入深全面介绍C程序设计方法，包括基本数据类型和基本输出输出方式，各种控制结构和语句，指针和数组，串，函数，结构，文件输入和输出等内容，最后讨论C预处理器。本书所有实例经过……...
  6. 《Java程序设计 双语版》高清PDF 本书是一种良好的跨平台、可移植性好、安全性高、纯面向对象的程序设计语言，是目前软件开发的主流编程语言之一。本书由浅入深、循序渐进地介绍了Java语言的发展、编程环境、开发工具、基本语法、面向对象编程、异常处理、线程、输入输出流、GUI编程、网络编程、数据库编程等内容，并结合大量的实例进行讲解。《国外......
  7. 《新编计算机操作系统双语教程》高清PDF 本书介绍了计算机操作系统的基本概念、原理和相关的技术。从计算技术的产生到操作系统的发展，从单机批处理操作到多道程序系统的实现，由浅入深、循序渐进，构成计算机操作系统的整体架构。全书共分8章，分别介绍计算机操作系统的基本概念;讲述处理机的管理内容，包括进程管理、进程同步、进程通信等;介绍内存管理和虚拟......
  8. 《数字逻辑与计算机设计 VHDL语言描述》高清PDF 本书系统论述了数字电子技术、数字逻辑、VHDL硬件描述语言及CPU设计的基本知识，适合作为高校电子信息工程、计算机、通信工程相关专业的“数字逻辑”课程教材。...
  9. 《软件工程实训项目案例 3 C++程序设计篇》高清PDF 本书共六章，第一章介绍了实训过程，第二章介绍了MFC基本的开发技术，第三至六章分别介绍了五子江湖、酷Down下载系统、邮件分发系统、计费管理系统4个创新项目案例，供实训过程中参考和学习。...
  10. 《C语言程序设计》高清PDF 本书介绍了程序设计和C语言、用C语言求解简单问题、分支结构程序设计、循环结构程序设计、函数初步、数据类型和表达式、数组、指针初步、结构与链表、共用体与枚举类型等内容。...

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。