 |
|
|
|
|
| 作者 |
： |
摩根
|
| ISBN |
： |
7111108477
|
| 页数 |
： |
314
|
| 开本 |
： |
16开
|
| 封面形式 |
： |
简裝本
|
| 出版社 |
： |
机械工业出版社
|
| 出版日期 |
： |
2002-8-1
|
| NT$ |
： |
428
|
|
|
|
|
配送说明： 国际快递 ， 海运邮递 。
付款说明： 1. VISA、MASTER線上刷卡 2. 信用卡传真刷卡付款 3.
邮政划拨 4. 银行汇款
|
|
|
|
|
 |
| |
本书关注的是程序和程序设计本身，讨信纸了一种严格的程序开发方法：首先分析问题，用严格方式写出程序的规范，而后通过一系列具有严格基理论基础的推导，最终得到可以运行的程序，其论述并不依赖于任何特定的程序设计语言。 一书阐明了与程序设计过程有关的许多基本概念，如规范和程序、精化法则，不变式、数据不变式、不同的抽象层次及其相互连接等等。本书的这个新版增加了许多新的内容和几个较大的实例，包括一个电子邮件系统实例，其中相当详尽地讨论了在实现一个系统的过程中所遇到的各种问题。
|
|
|
|
|
|
|
| |
本书详细论述了有关规范程序设计的内容，包括：程序和精化、谓词演算、选择、迭代、构造类型、模块和封装等，最后几章还包括了大量的实列研究和一些更高级的程序设计技术。本书提倡一种严格的程序方法，分析问题要用严格方式写出程序的规范，而后通过一系列具有严格理论基础的推导，最终得到可以运行的程序。
|
|
|
|
|
|
|
| |
第一章程序和精化
第二章谓词演算
第三章赋值和顺序复合
第四章选择
第五章迭代
第六章类型和声明
第七章实例研究：平方根
第八章初始变量
第九章构造类型
第十章实例研究：插入排序
第十一章过程和参数
第十二章实例研究：堆排序
第十三章递归过程
第十四章实例研究：灰色编写
第十五章递归类型
第十六章模块和封装
第十七章状态变换和数据精化
第十八章实例研究：多数表块
第十九章起源和总结
第二十章实例研究：分段问题
第二十一章实例研究：直方图的量大矩形
第二十二章实例研究：一个mail系统
第二十三章语义
|
|
|
|
