软件工程 ppt课件

- 第4章 形式化说明技术 - 4.1 概述4.2 有穷状态机4.3 Petri网4.4 Z语言4.5 小结 - 1.形式化方法定义