图书介绍
B语言与方法 实用形式化开发指南PDF|Epub|txt|kindle电子书版本网盘下载
- （英）（K.拉诺）K.Lano著；鲍涌等译 著
- 出版社： 北京：高等教育出版社
- ISBN：7040064111
- 出版时间：1998
- 标注页数：304页
- 文件大小：6MB
- 文件页数：314页
- 主题词：
PDF下载
点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]
下载说明
B语言与方法 实用形式化开发指南PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 引言1
1．1 形式化方法1
1．2 B语言的历史9
1．3 B与其他形式化方法的关系12
1．4 本章小结15
第二章 B AMN基础16
2．1 数学符号表示法16
2．2 定义操作22
2．3 抽象机32
2．4 机器组成机制48
2．5 细化55
2．6 实现65
2．7 本章小结91
2．8 习题92
第三章 分析和规格说明95
3．1 需求分析95
3．2 规格说明开发96
3．3 动画139
3．4 内部一致性法则的证明141
3．5 船载实例研究-规格说明142
3．6 重命名150
3．7 聚集（aggregation）150
3．8 本章小结152
3．9 习题153
第四章 设计和实现159
4．1 分层开发范型160
4．2 细化举例165
4．3 细化的证明186
4．4 分解实现191
4．5 船载实例研究——实现193
4．6 本章小结204
4．7习题204
第五章 实例研究205
5．1 人事系统开发205
5．2 矿井水泵控制227
5．3 自动售货机243
5．4 习题259
第六章 结束语260
附A．1 第2．8节习题解答264
附录A 习题解答264
附A．2 第3．9节习题解答268
附A．3 第4．7节习题解答274
附录B 最弱前置条件特性279
附B．1 终止和可行性281
附B．2 集合论的语义283
附B．3 细化285
附B．4 良好形式的法则287
附B．5 正规形式289
附B．6 操作符||的规则290
附B．7 :=的定义290
附录C 证明技术292
参考文献297
索引303