资源大小: 208KB
发布时间: 2010-12-20
文件格式: pdf
下载次数: 3
分享到:

下载地址:

下载地址1
(本站为飞网专业下载站,域名:down.cfei.net)

资源简介:

B方法作为一种形式化方法,是一种基于数学逻辑的形式进行描述,可以验证用户需求规约的正确性。


飞网下载站,免费下载共享资料,内容涉及教育资源、专业资料、IT资源、娱乐生活、经济管理、办公文书、游戏资料等。