B方法课件B method

B方法作为一种形式化语言方法，比起非形式化文档语言更有规范性。它以数学理论为基础，通过严格的逻辑推论，使得整个描述过程更为严谨，更容易转化为代码。

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----

     文件     180669  2010-05-18 19:38  07.非确定性和其他.pdf

     文件     216700  2010-05-18 19:38  08.抽象机组织INCLUDES.pdf

     文件     248752  2010-05-18 19:39  09.抽象机组织（2）.pdf

     文件     324317  2010-05-18 19:39  10.精华 数据精华（2）.pdf

     文件     295569  2010-05-18 19:40  11.精华和证明义务.pdf

     文件     501986  2010-05-18 19:41  12.循环 B语言重温.pdf

     文件     212711  2010-05-18 19:35  01.形式化方法.pdf

     文件     111192  2010-05-18 19:36  02.B-方法概述.pdf

     文件     212169  2010-05-18 19:37  03.抽象机和规范.pdf

     文件     244335  2010-05-18 19:37  04.集合论和逻辑.pdf

     文件     232875  2010-05-18 19:37  05.代换 抽象机和证明义务.pdf

     文件     174424  2010-05-18 19:38  06.非确定性.pdf

----------- ---------  ---------- -----  ----

              2955699                    12