T007737　程序设计方法学(第二版)

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第16册工业技术(下)》第817页（201字）

冯玉琳等编着。

北京科学技术出版社1989年8月版。24．8万字。论述程序设计方法的科学原理。把那些公认为成熟的、有实用价值的、最基本的内容收入本书，适当介绍一些尚待进一步发展的研究课题。

主要内容包括程序结构分析、逐步求精、递归程序设计、数据抽象和模块、程序规范、程序的形式推导和程序变换等。通过大量程序实例，寓理论于实际的程序设计技术之中。附有习题。