版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
形式化方法导论
丛 书 名：21世纪高等学校计算机专业实用规划教材
I S B N：(纸本) 9787302411611
出 版 社：清华大学出版社
出 版 年：2015年
页 数：256页
主 题 词：形式语言
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
馆 藏 号：201407521...
摘 要：鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成，具体包括：顺序、并发和反应系统、转换系统、自动机、时序逻辑、演绎证明、模型检测、实时系统、混成系统等。
