《软件形式化方法》PPT课件
- 软件形式化方法 - 陈铁明/王婷 - 课程介绍 - 通过本课程的学习,使同学了解软件开发中形式化方法的基本概念和原理,掌握
《软件形式化方法》PPT课件