7.8 软件形式化方法
2026-02-04 20:25:26 更新
阅读(21)
收藏
赞(
0
)
7.8.1 形式化方法概述
7.8.2 净室软件工程
7.8.3 程序验证
← 7.7 统一建模语言
→ 7.2.1 传统软件开发模型
7.8.1 形式化方法概述
7.8.2 净室软件工程
选择
2010-05 上午(25)
7.8.3 程序验证