注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. B Method B方法

  2. B方法是由Jean-Raymond Abrial创造的。它覆盖了软件的整个开发周期，适用于大规模软件的开发。B方法以元集合理论和二值谓词逻辑为数学基础，其核心是证据，且必须论证B方法所描述的每一个特性，这为开发者提供了统一的形式化规范和代码

  3. 所属分类：专业指导

    • 发布日期：2012-02-06
    • 文件大小：3mb
    • 提供者：jiangdmdr

  1. B 方法 The B-Book Assigning programs to meanings

  2. B 方法 The B-Book Assigning programs to meanings 中文版 译者 裘宗燕

  3. 所属分类：专业指导

    • 发布日期：2013-07-04
    • 文件大小：39mb
    • 提供者：s_clover