文件名称：B方法课件（B method）
文件大小：2.47MB
文件格式：RAR
更新时间：2013-06-20 14:28:41
形式化语言方法 抽象机
B方法作为一种形式化语言方法，比起非形式化文档语言更有规范性。它以数学理论为基础，通过严格的逻辑推论，使得整个描述过程更为严谨，更容易转化为代码。
【文件预览】：
05.代换 抽象机和证明义务.pdf
03.抽象机和规范.pdf
02.B-方法概述.pdf
08.抽象机组织INCLUDES.pdf
07.非确定性和其他.pdf
09.抽象机组织（2）.pdf
06.非确定性.pdf
12.循环 B语言重温.pdf
01.形式化方法.pdf
10.精华 数据精华（2）.pdf
11.精华和证明义务.pdf
04.集合论和逻辑.pdf