安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

程序设计方法学/胡正国等编著

出版发行项:

北京:国防工业出版社,2003

ISBN及定价:

7-118-02972-6/CNY23.00

载体形态项:

266页;26cm

个人责任者:

编著 胡正国

学科主题:

程序设计-方法

学科主题:

程序设计

中图法分类号:

TP311.1

提要文摘附注:

本书主要介绍了程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明等程序设计方法学的基础知识。

豆瓣简介：