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

Online Public Access Catalogue

题名/责任者:

程序设计方法学/冯树椿,徐六通编著

出版发行项:

杭州:浙江大学出版社,1988.7

ISBN及定价:

7-308-00091-5/$2.95

载体形态项:

374页;20厘米

编目员补充题名:

程序设计方法学

个人责任者:

冯树椿 编著

个人责任者:

徐六通 编著

学科主题:

程序设计-方法

非控制主题词:

程序 设计 方法学 法学 数据 压缩 原理 应用

中图法分类号:

TP311.11

中图法分类号:

TP31

提要文摘附注:

本书内容涉及结构程序的概念、程序设计的主要控制结构、程序正确性的证明、数据类型抽象、递归方法、逐步求精法、模块设计和推导技术,最后介绍近几年新发展的程序变换技术。

豆瓣简介：