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

搜索资源列表

  1. 计算机科学与技术方法论 PDF

  2. 计算机科学与技术方法论 PDF 董荣胜.古天龙.

  3. 所属分类：专业指导

    • 发布日期：2010-11-03
    • 文件大小：2097152
    • 提供者：styyzxjq2009

  1. 计算机科学与技术方法论.董荣胜.古天龙

  2. 计算机科学与技术方法论，对于计算机科学与技术专业的历史角度去认识。

  3. 所属分类：教育

    • 发布日期：2011-11-07
    • 文件大小：2097152
    • 提供者：hutuchongcpucpu

  1. 网络协议工程 ppt 南京邮电

  2. 网络协议工程 ppt 南京邮电 可与 《网络协议的形式化分析与设计》古天龙 配套

  3. 所属分类：讲义

    • 发布日期：2015-06-13
    • 文件大小：18874368
    • 提供者：jiangdmdr

  1. 网络协议的形式化分析与设计

  2. 网络协议的形式化分析与设计 古天龙 2003 计算机网络及数据通信是当今信息社会的基石，网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程

  3. 所属分类：讲义

    • 发布日期：2015-07-22
    • 文件大小：61865984
    • 提供者：jiangdmdr

  1. 软件开发的形式化方法

  2. 《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。 《软件开发的形式化方法》可作为计算机、

  3. 所属分类：其它

    • 发布日期：2016-10-23
    • 文件大小：11534336
    • 提供者：zxcsms