点此进入淘宝搜索页搜索　　參考價格: 点此进入淘宝搜索页搜索
　　分類: 图书,计算机/网络,计算机理论,

作者： 美.摩根著裘宗燕译

出 版 社： 机械工业出版社

出版时间： 2002-8-1字数：版次： 1页数： 314印刷时间： 2002-8-1开本：印次：纸张： 胶版纸I S B N ： 9787111108474包装： 平装编辑推荐

本书关注的是程序和程序设计本身，讨信纸了一种严格的程序开发方法：首先分析问题，用严格方式写出程序的规范，而后通过一系列具有严格基理论基础的推导，最终得到可以运行的程序，其论述并不依赖于任何特定的程序设计语言。 一书阐明了与程序设计过程有关的许多基本概念，如规范和程序、精化法则，不变式、数据不变式、不同的抽象层次及其相互连接等等。本书的这个新版增加了许多新的内容和几个较大的实例，包括一个电子邮件系统实例，其中相当详尽地讨论了在实现一个系统的过程中所遇到的各种问题。

内容简介

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

作者简介

目录

第一章程序和精化

第二章谓词演算

第三章赋值和顺序复合

第四章选择

第五章迭代

第六章类型和声明

第七章实例研究：平方根

第八章初始变量

第九章构造类型

第十章实例研究：插入排序

第十一章过程和参数

第十二章实例研究：堆排序

第十三章递归过程

第十四章实例研究：灰色编写

第十五章递归类型

第十六章模块和封装

第十七章状态变换和数据精化

第十八章实例研究：多数表块

第十九章起源和总结

第二十章实例研究：分段问题

第二十一章实例研究：直方图的量大矩形

第二十二章实例研究：一个mail系统

第二十三章语义

媒体评论

 

 

免责声明：本文为网络用户发布，其观点仅代表作者个人观点，与本站无关，本站仅提供信息存储服务。文中陈述内容未经本站证实，其真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。