中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

程序设计方法学引论/陶葆兰, 李庆华编著

出版发行项:

武汉:华中理工大学出版社,1989

ISBN及定价:

7-5609-0320-7/CNY1.60

载体形态项:

241页;20cm

个人责任者:

陶葆兰 编著

个人责任者:

李庆华 编著

学科主题:

程序设计-方法

中图法分类号:

TP311

提要文摘附注:

本书论述了程序设计方法学的基本原理和方法,着重阐述程序构造和正确性证明同时进行,并以正确性证明为主导的研制程序的原则和方法。

豆瓣简介：