资源大小: 2.47MB
发布时间: 2010-05-31
文件格式: rar
下载次数: 1
分享到:

下载地址:

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

资源简介:

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


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