#正确性证明# 相关文档
-
PM-06-Chap03-程序规范及其正确性证明概述.ppt
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级2005年3月3日星期四鲍玉斌 东大信息学院计算机软件所 程序设计方法学 All Rights Reserved第3章 程序规范及其正确性证明概述第3章 程序规范及其正确性证明概述鲍玉斌东北大学信息学院计算机软件与理论研究所18 April 20221内容－Where we are程序规范规范的描述断言与规范及{P} S {
日期：2022-04-18 格式：.pptx 页数：41页 大小：226.5KB 发布：
- 1
- 1/1页
#正确性证明# 热门文档
客服
顶部