第4章 形式化说明技术

【文件属性】：

文件名称：第4章 形式化说明技术

文件大小：348KB

文件格式：PPT

更新时间：2014-01-30 13:37:43

形式化 软件工程

第4章 形式化说明技术 4.1 概述 4.2 有穷状态机 4.3 Petri网 4.4 Z语言 4.5 小结 习题