从规范出发的程序设计

图书标准信息

• 作者 [美]Carroll Morgan
• 出版社 机械工业出版社
• 出版时间 2002-08
• 版次 1
• ISBN 9787111108474
• 定价 45.00元
• 装帧 平装
• 开本 其他
• 纸张 胶版纸
• 页数 314页

【内容简介】

本书详细论述了有关规范程序设计的内容，包括：程序和精化、谓词演算、选择、迭代、构造类型、模块和封装等，最后几章还包括了大量的实列研究和一些更高级的程序设计技术。本书提倡一种严格的程序方法，分析问题要用严格方式写出程序的规范，而后通过一系列具有严格理论基础的推导，最终得到可以运行的程序。

【目录】

第一章程序和精化第二章谓词演算第三章赋值和顺序复合第四章选择第五章迭代第六章类型和声明第七章实例研究：平方根第八章初始变量第九章构造类型第十章实例研究：插入排序第十一章过程和参数第十二章实例研究：堆排序第十三章递归过程第十四章实例研究：灰色编写第十五章递归类型第十六章模块和封装第十七章状态变换和数据精化第十八章实例研究：多数表块第十九章起源和总结第二十章实例研究：分段问题第二十一章实例研究：直方图的量大矩形第二十二章实例研究：一个mail系统第二十三章语义