程序设计方法学(第2版)
基本信息·页码：266 页 ·出版日期：2009年01月 ·ISBN：7118060518/9787118060515 ·条形码：9787118060515 ·版本：第2版 ·装帧：平装 ...
| 商家名称 |
信用等级 |
购买信息 |
订购本书 |
|
|
 |
程序设计方法学(第2版) |
 |
|
|
程序设计方法学(第2版) |
|
基本信息·页码：266 页
·出版日期：2009年01月
·ISBN：7118060518/9787118060515
·条形码：9787118060515
·版本：第2版
·装帧：平装
内容简介 本书主要介绍程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。 本书可供大专院校计算机专业学生使用，也可供硕士研究生及从事计算机工作的科研人员参考。
