B方法课件（B method）

[{"title":"（ 12 个子文件 2.47MB ） B方法课件（B method）","children":[{"title":"05.代换 抽象机和证明义务.pdf <span style='color:#111;'> 227.42KB </span>","children":null,"spread":false},{"title":"03.抽象机和规范.pdf <span style='color:#111;'> 207.20KB </span>","children":null,"spread":false},{"title":"02.B-方法概述.pdf <span style='color:#111;'> 108.59KB </span>","children":null,"spread":false},{"title":"08.抽象机组织INCLUDES.pdf <span style='color:#111;'> 211.62KB </span>","children":null,"spread":false},{"title":"07.非确定性和其他.pdf <span style='color:#111;'> 176.43KB </span>","children":null,"spread":false},{"title":"09.抽象机组织（2）.pdf <span style='color:#111;'> 242.92KB </span>","children":null,"spread":false},{"title":"06.非确定性.pdf <span style='color:#111;'> 170.34KB </span>","children":null,"spread":false},{"title":"12.循环 B语言重温.pdf <span style='color:#111;'> 490.22KB </span>","children":null,"spread":false},{"title":"01.形式化方法.pdf <span style='color:#111;'> 207.73KB </span>","children":null,"spread":false},{"title":"10.精华 数据精华（2）.pdf <span style='color:#111;'> 316.72KB </span>","children":null,"spread":false},{"title":"11.精华和证明义务.pdf <span style='color:#111;'> 288.64KB </span>","children":null,"spread":false},{"title":"04.集合论和逻辑.pdf <span style='color:#111;'> 238.61KB </span>","children":null,"spread":false}],"spread":true}]