1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. 软件工程

软件工程形式化说明技术-精品.pptVIP

  • 0
  • 0
  • 约小于1千字
  • 约 29页
  • 2021-01-02 发布于福建
  • 举报

软件工程形式化说明技术-精品.ppt

    形式化的程序;非形式化方法的缺点;形式化方法的优点;有穷状态机;有穷状态机;有穷状态机;有穷状态机;有穷状态机;有穷状态机;Petri网;Petri网;Petri网;Petri网;Z语言;Z语言;Z语言;Z语言;Z语言;Z语言;Z语言;Z语言;Z语言;Z语言;应用形式化方法的准则;形式化方法的未来发展;本章小结;THANK YOU

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >