图书介绍
PLZ语言的微处理机程序设计概论 下pdf电子书版本下载
- 北京自动化技术研究所译 著
- 出版社： 北京自动化技术研究所
- ISBN：
- 出版时间：1981
- 标注页数：210页
- 文件大小：10MB
- 文件页数：211页
- 主题词：
PDF下载
下载说明
PLZ语言的微处理机程序设计概论 下PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第五章 程序测试和正确性 4
第1节 错误、测试和正确性 4
1.1 正确性的含意 4
下册目录 4
1.2 错误类型 6
1.3 程序测试与程序分析 7
第2节 自动诊断服务 8
2.1 错误的检查 8
第3节 程序测试 10
3.2 故障诊断 11
3.1 测试情况的构造 11
3.3 模块化的测试 15
3.4 从“顾问”那儿获得帮助 21
3.5 测试习惯和错误的模式 22
第4节 正确性的证明 22
4.1 循环的不变关系 25
4.2 不变关系定理 27
4.3 不变关系的简单例子 29
4.4 更复杂的例子 33
4.5 在日常程序设计中的不变关系 37
4.6 正确性的自动验证 40
练习 41
第六章 性能评价 45
第1节 测算存储空间 45
第2节 测算执行速度 48
2.1 基本步骤计算 48
2.2 执行时间的阶序 51
2.3 最坏情况和平均情况的对比分析 53
2.4 二叉树搜索的分析二对数法 54
2.5 简单程序段的分析 57
2.6 一个更复杂的例子：KWIC索引 63
2.7 一个例子：堆积分类 71
练习 77
第3节 不可能编制程序的题目 81
3.1 很难定义的题目 81
3.2 大得不可能实现的题目 82
3.3 “不可判定的”题目 84
第七章 数据结构 88
第1节 数据结构、链和结点 88
1.1 用记录和指针来表示结点和链 91
2.1 堆栈、排队和双排队的定义 92
练习 92
第2节 堆栈、排队和双排队 92
2.2 堆栈和排队的顺序分配 94
2.3 堆栈和排队的链接表分配 98
2.4 实现堆栈的例子 104
练习 115
第3节 链接表的其它形式 117
3.1 链结表中结点的插入与删除 117
3.2 带有表头的堆栈与排队 118
3.3 循环表 120
3.4 双向链接表 122
练习 123
第4节 树型结构 126
4.1 二叉树及其表示 126
4.2 二叉树的遍历 129
4.3 树型结构的应用 134
练习 141
附录 143
A·PLZ/SYS语法和句法表 143
A.1 PLZ/SYS语法 144
B·PLZ/SYS词法 158
B·1 PLZ/SYS词法 158
B·2 标点符号规约 160
C·ASCII字符集 161
A.2 PLZ/SYS句法表 161
D·格式化输入输出 166
D.1 格式化I/O函数、变量和常量综述 167
D.2 IO·DECLS 171
D.3 ALL·IO·DECLS 171
D.4 PLZ·FIO·S 173
E·数的表示 181
F·类型转换的数值影响 183
G·错误条件和信息 185
H·Zilog RIO操作系统上PLZ程序的准备和执行 187
I·PLZ·IO 189
J·Zilog RIO操作系统的返回代码 192
K·INCLUDE预处理程序 193
K·1 INCLUDE·S 197
K·2 FILE·EXT·S 203
参考文献 208