实用程序设计理论

书籍简介:

本书的主题为“程序设计方法学”,或称为“程序设计科学”,“程序设计逻辑”,“程序设计理论”,“程序开发形式化方法”,或“程序证明”,它涉及程序设计中经得起数学证明的那些方面。一个好的理论能帮助我们书写精确的规范,并设计出其执行可被证明满足规范的程序。本书介绍作者多年研究出的一套简单并且通用的程序设计理论，它可同时适用于终止和非终止计算,顺序和并行计算,以及独立和交互式计算，该理论的基础在于将规范表示成布尔表达式，而布尔表达式的变量可以是任何感兴趣的变量，包括只对其初值和终值感兴趣的变量、对其值始终感兴趣的变量、只知道其可能值的变量和用于计算时间和空间的变量等，其中还将考虑计算的状态、计算的时间、计算的空间以及计算的交互等。

书籍规格:

书籍信息归属:

实用程序设计理论是科学出版社于2010.6出版的中图分类号为 TP311.1 的主题关于 程序设计 的书籍。