B方法课件(北大版) 上传者：kksky4289 2019-01-03 03:27:56上传 其他文件 500kb 热度 53次 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 2019-01-03 03:28:45 B方法作为一种形式化方法，是一种基于数学逻辑的形式进行描述。该资源非常专业，是从事专业形式化方法研究不可多得的好材料。 Dreamboy_w 2024-12-26 19:12:18 在http://www.math.pku.edu.cn/teachers/qiuzy/fm_B/slides/index.php上有全部课件下载 发表评论
B方法作为一种形式化方法，是一种基于数学逻辑的形式进行描述。该资源非常专业，是从事专业形式化方法研究不可多得的好材料。
在http://www.math.pku.edu.cn/teachers/qiuzy/fm_B/slides/index.php上有全部课件下载