程序设计方法学

程序设计方法学

胡正国, 吴健, 邓正宏, 编著

出版社:国防工业出版社

年代:2008

定价:32.0

书籍简介:

本书主要介绍了程序设计方法学这一学科的主要内容,即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序开线推导、程序变换技术等。

书籍规格:

书籍详细信息
书名程序设计方法学站内查询相似图书
9787118060515
如需购买下载《程序设计方法学》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位国防工业出版社
版次2版印次1
定价(元)32.0语种简体中文
尺寸26装帧平装
页数 270 印数

书籍信息归属:

程序设计方法学是国防工业出版社于2008.12出版的中图分类号为 TP311.11 的主题关于 程序设计-方法 的书籍。