文件名称：B方法课件(北大版)
文件大小：208KB
文件格式：PDF
更新时间：2014-01-09 08:12:02
B方法 形式化
B方法作为一种形式化方法，是一种基于数学逻辑的形式进行描述，可以验证用户需求规约的正确性。
B方法课件(北大版)
【文件属性】：
网友评论
- 在http://www.math.pku.edu.cn/teachers/qiuzy/fm_B/slides/index.php上有全部课件下载
- B方法作为一种形式化方法，是一种基于数学逻辑的形式进行描述。该资源非常专业，是从事专业形式化方法研究不可多得的好材料。