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

搜索资源列表

  1. 循环结构的形式化推导

  2. 介绍了Dijkstra的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行，先确定好描述程序功能的断言，再通过形式化方法推导出正确的程序。选择具有代表性的循环结构的实例进行推导证明，并对循环结构的形式化推导进行阐述说明。

  3. 所属分类：其它

    • 发布日期：2020-10-17
    • 文件大小：246784
    • 提供者：weixin_38742927