大拱桥--暨南大学学生门户 » 图书馆 » 计算机软件 » 程序设计方法学
名称 程序设计方法学
索引号 TP31/879.2
分类号 TP31
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 胡正国、吴健、邓正宏、
出版社 北京 : 国防工业出版社, 2009
ISBN 978-7-118-06051-5
页数 266页 : 图 ; 26cm
价格 CNY26.00
标签 计算机科学、2008、
简介
注解 本书介绍程序设计方法学，包括结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等内容。 有书目 (第265-266页)
书籍简介

《程序设计方法学(第2版)》主要介绍程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。