ABOUT THE BOOK
内容简介
本书详细地论述了有关规范程序设计的风容，包括：程序和精化、谓词演算、选择、迭代、构造类型、模块和封装等，最后几章还包含了大量的实例研究和一些更高级的衙4设计技术。本书提倡一种严格的程序开发方法，分析问题要用严格方式写出程序的规范，而后通过一系列具有严格理论基础的推导，最终得到可以运行的程序。 本书是世上许多重要大学采用的教材，适于计算机及相关专业的本科生和研究生使用。
READING NOTES
《从规范出发的程序设计》读书笔记与读后感
相关文章正在整理中
本页已收录书籍信息与正版资源获取说明，读书笔记和读后感会持续更新。
PDF · E-BOOK · DOWNLOAD
《从规范出发的程序设计》PDF、电子书与下载说明
本站专注于《从规范出发的程序设计》的读书笔记和读后感，不提供未经授权的 PDF 或电子书文件下载。建议通过出版社官网、正规数字书店或所在地公共图书馆检索正版电子书；获取前请核对作者、出版社与版本信息。
- 优先选择出版社或正规阅读平台
- 通过公共图书馆查询纸书及数字馆藏
- 谨慎识别来源不明的网盘和下载链接
获取更多资讯请关注《百智汇社》公众号，回复“bk115187”获取。微信扫码关注，获取更多阅读与书籍资讯
