本书主要介绍了程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明等程序设计方法学的基础知识。

📙 相关书籍

  1. 《Visual FoxPro面向对象程序设计实用教程》高清PDF 21世纪高校计算机教材:本书系统介绍了表的创建、排序和索引、数据库操作、SQL语言、面向过程和面向对象的程序设计方法、表单设计等内容。...
  2. 《C程序设计 第2版》高清PDF 本书包括C语言概述、C程序基础、输入输出与顺序结构程序设计、选择结构程序设计、循环结构程序设计、函数、结构与其他自定义类型、图形处理初步等内容。...
  3. 《注册表实例教程》高清PDF 本书从网络篇、限制篇、操作篇、桌面篇、性能篇、图标篇、安全篇、提示篇、分菜单篇等不同的角度，分门别类地介绍了近千例注册表操作实例。...
  4. 《《Visual FoxPro编程》学习参考》高清PDF ...
  5. 《Visual Basic程序设计》高清PDF 21世纪应用型人才培养系列教材:本书介绍了VB程序开发环境、对象及其操作，可视化程序的初步设计，VB数据类型与操作，常用控件，控制语句，数据文件，数据库应用等。...
  6. 《Visual C++.NET教程》高清PDF 微软ATC统编教材 微软技术培训统编教材:本书通过大量实例较为系统地介绍了Visual C++的基础知识及其网络编程、数据库编程应用技术，全书包括基础知识篇、Internet编程篇、数据库管理编程篇三部分内容。...
  7. 《C++面向对象程序设计入门与应用》高清PDF 本书涵盖了Borlard C++工作环境、C++ Builder V5.0工作环境、程序基本结构、输入输出、数组、自定义函数、内置函数等内容。...
  8. 《全国计算机等级考试辅导丛书 新大纲 FoxBASE+程序设计 二级》高清PDF 本书包括数据库基本概念与操作、FoxBASE+语法规则及函数、数据库文件操作及应用、FoxBASE+程序设计、在FoxBASE+中的数据输出设计与数据管理、数据库系统运行环境设置等。...
  9. 《网络数据库技术基础》高清PDF 高等学校21世纪计算机教材:本书系统介绍网络数据库的基本概念，以及Microsoft SQL Server 2000的管理、应用和数据维护的方法。主要包括：网络数据库的发展、数据库开发设计、建立数据库、表的使用、数据维护等内容。...
  10. 《Visual Basic程序设计实训教程》高清PDF 21世纪课程十五规划教材 高职高专计算机与信息技术系列规划教材:本书结合职业教育的特点，从基本的工作方式到创建数据库应用程序，讲解程序设计的使用方法与技巧。...

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