您好,欢迎光临有路网!
从规范出发的程序设计
QQ咨询:

从规范出发的程序设计

  • 作者:美.摩根著裘宗燕译
  • 出版社:机械工业出版社
  • ISBN:9787111108474
  • 出版日期:2002年08月01日
  • 页数:314
  • 定价:¥45.00
  • 关注微信领礼券
    城市
    店铺名称
    店主联系方式
    店铺售价
    库存
    店铺得分/总交易量
    发布时间
    操作

    新书比价

    网站名称
    书名
    售价
    优惠
    操作

    图书详情

    内容提要
    本书详细论述了有关规范程序设计的内容,包括:程序和精化、谓词演算、选择、迭代、构造类型、??楹头庾暗?,*后几章还包括了大量的实列研究和一些更**的程序设计技术。本书提倡一种严格的程序方法,分析问题要用严格方式写出程序的规范,而后通过一系列具有严格理论基础的推导,*终得到可以运行的程序。
    目录
    **章程序和精化
    第二章谓词演算
    第三章赋值和顺序复合
    第四章选择
    第五章迭代
    第六章类型和声明
    第七章实例研究:平方根
    第八章初始变量
    第九章构造类型
    第十章实例研究:插入排序
    第十一章过程和参数
    第十二章实例研究:堆排序
    第十三章递归过程
    第十四章实例研究:灰色编写
    第十五章递归类型
    第十六章??楹头庾?br />第十七章状态变换和数据精化
    第十八章实例研究:多数表块
    第十九章起源和总结
    第二十章实例研究:分段问题
    第二十一章实例研究:直方图的量大矩形
    第二十二章实例研究:一个mail系统
    第二十三章语义
    编辑推荐语
    本书关注的是程序和程序设计本身,讨信纸了一种严格的程序开发方法:首先分析问题,用严格方式写出程序的规范,而后通过一系列具有严格基理论基础的推导,*终得到可以运行的程序,其论述并不依赖于任何特定的程序设计语言。 一书阐明了与程序设计过程有关的许多基本概念,如规范和程序、精化法则,不变式、数据不变式、不同的抽象层次及其相互连接等等。本书的这个新版增加了许多新的内容和几个较大的实例,包括一个电子邮件系统实例,其中相当详尽地讨论了在实现一个系统的过程中所遇到的各种问题。
    北京 天津 河北 山西 内蒙古 辽宁 吉林 黑龙江 上海 江苏 浙江 安徽 福建 江西 山东 河南 湖北 湖南 广东 广西 海南 重庆 四川 贵州 云南 西藏 陕西 甘肃 青海 宁夏 新疆 台湾 香港 澳门 海外
    772| 7| 913| 901| 439| 483| 401| 371| 367| 273|