江汉大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

7-5609-0320-7/$1.60

载体形态项:

241页;20厘米

编目员补充题名:

程序 设计 方法 引论

个人责任者:

陶葆兰 编著

个人责任者:

李庆华 编著

学科主题:

程序设计-方法

中图法分类号:

TP311.1

中图法分类号:

TP31

提要文摘附注:

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

豆瓣简介：