大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 程序设计方法学教程
名称 程序设计方法学教程
索引号 609991
分类号
(| 08 环境公报)
作者 刘宗田、
出版社 北京 : 机械工业出版社, 1992
ISBN 7-111-03282-9
页数 134页 ; 26cm
价格 CNY12.75
标签
简介
注解 本教程介绍结构程序设计、程序的正确性证明、不动点理论、规范技术与抽象数据类型、程序推导、逐步求精及程序变换等・