B方法课件（B method） 上传者：kksky4289 2019-05-28 12:17:55上传 RAR文件 2.47MB 热度 52次 B方法作为一种形式化语言方法，比起非形式化文档语言更有规范性。它以数学理论为基础，通过严格的逻辑推论，使得整个描述过程更为严谨，更容易转化为代码。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
