点此搜书

当前位置:程序设计方法学pdf电子书下载 > 工业技术
程序设计方法学
  • 作 者:冯树椿,徐六通编著
  • 出 版 社:杭州:浙江大学出版社
  • 出版年份:1988
  • ISBN:7308000915
  • 标注页数:374 页
  • PDF页数:382 页
  • 请阅读订购服务说明与试读!

文档类型

价格(积分)

购买连接

试读

PDF格式

12

立即购买

点击试读

订购服务说明

1、本站所有的书默认都是PDF格式,该格式图书只能阅读和打印,不能再次编辑。

2、除分上下册或者多册的情况下,一般PDF页数一定要大于标注页数才建议下单购买。【本资源382 ≥374页】

图书下载及付费说明

1、所有的电子图书为PDF格式,支持电脑、手机、平板等各类电子设备阅读;可以任意拷贝文件到不同的阅读设备里进行阅读。

2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

3、所有的电子图书都是原书直接扫描方式制作而成。

目 录第一章引论§1.1 程序设计发展与程序设计方法学 1

§1.2 程序设计的一般途径 3

§1.3 结构程序设计概念 5

第五章递归程序设计§5.1 递归的概念 10

习 题 14

第二章程序的控制结构§2.1 基本控制结构 17

§2.2 goto语句 20

§2.3 过程与函数 31

习 题 49

第三章程序的正确性证明§3.1 程序的测试 58

§3.2 Floyd-Hoare规则公理方法 66

§3.3 Dijkstra最弱前置条件方法 81

习 题 105

第四章数据类型与抽象§4.1 类型概念 110

§4.2 数据类型 113

§4.3 数据抽象及其代数规范 121

习题 144

§5.2 递归与迭代程序 153

§5.3 递归数据结构 177

*§5.4 递归程序及其验证 206

习题 230

第六章程序设计方法§6.1 逐步求精方法 236

§6.2 模块化程序设计方法 264

§6.3 程序的形式推导方法 282

§6.4 程序求逆 306

习题 312

*第七章程序变换§7.1 程序变换的基本思想 314

§7.2 程序变换方法 315

§7.3 FP函数型程序的代数变换 335

习题 370

参考文献 371

购买PDF格式(12分)
返回顶部