书籍详情
程序设计方法学
作者：冯树椿，徐六通编著
出版社：浙江大学出版社
出版时间：1988-07-01
ISBN：9787308000918
定价：¥12.00
购买这本书可以去
内容简介
《程序设计方法学》内容涉及结构程序的概念、程序设计的主要控制结构、程序正确性的证明、数据类型抽象、递归方法、逐步求精法、模块设计和推导技术，最后介绍近几年新发展的程序变换技术。
作者简介
暂缺《程序设计方法学》作者简介
目录
封面
扉页
版权页
前言
目录
第一章 引论
§1.1 程序设计发展与程序设计方法学
§1.2 程序设计的一般途径
§1.3 结构程序设计概念
习题
第二章 程序的控制结构
§2.1 基本控制结构
§2.2 goto语句
§2.3 过程与函数
习题
第三章 程序的正确性证明
§3.1 程序的测试
§3.2 Floyd-Hoare规则公理方法
§3.3 Dijkstra最弱前置条件方法
习题
第四章 数据类型与抽象
§4.1 类型概念
§4.2 数据类型
§4.3 数据抽象及其代数规范
习题
第五章 递归程序设计
§5.1 递归的概念
§5.2 递归与迭代程序
§5.3 递归数据结构
§5.4 递归程序及其验证
习题
第六章 程序设计方法
§6.1 逐步求精方法
§6.2 模块化程序设计方法
§6.3 程序的形式推导方法
§6.4 程序求逆
习题
第七章 程序变换
§7.1 程序变换的基本思想
§7.2 程序变换方法
§7.3 FP函数型程序的代数变换
习题
扉页
版权页
前言
目录
第一章 引论
§1.1 程序设计发展与程序设计方法学
§1.2 程序设计的一般途径
§1.3 结构程序设计概念
习题
第二章 程序的控制结构
§2.1 基本控制结构
§2.2 goto语句
§2.3 过程与函数
习题
第三章 程序的正确性证明
§3.1 程序的测试
§3.2 Floyd-Hoare规则公理方法
§3.3 Dijkstra最弱前置条件方法
习题
第四章 数据类型与抽象
§4.1 类型概念
§4.2 数据类型
§4.3 数据抽象及其代数规范
习题
第五章 递归程序设计
§5.1 递归的概念
§5.2 递归与迭代程序
§5.3 递归数据结构
§5.4 递归程序及其验证
习题
第六章 程序设计方法
§6.1 逐步求精方法
§6.2 模块化程序设计方法
§6.3 程序的形式推导方法
§6.4 程序求逆
习题
第七章 程序变换
§7.1 程序变换的基本思想
§7.2 程序变换方法
§7.3 FP函数型程序的代数变换
习题
猜您喜欢
