形式化方法导论

收藏
  • 【作者】张广泉 编著
  • 【关键词】形式语言
  • 【出版社】清华大学出版社
  • 【出版日期】2015
  • 【ISBN】978-7-302-41161-1
  • 【中图分类号】 TP301.2
  • 【内容简介】鉴于形式化方法对软件工程的重要性, 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成,具体包括:顺序、并发和反应系统、转换系统、自动机、时序逻辑、演绎证明、模型检测、实时系统、混成系统等。全部展开
  • 【页码】256页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。