软件工程第4章(不讲)

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