基本信息出版社：浙江大学出版社
页码：374 页
出版日期：1988年07月
ISBN：7308000915
条形码：9787308000918
版本：第1版
装帧：平装
开本：32
正文语种：中文

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