填空题

程序正确性证明是用______来证明程序正确性的方法。

【参考答案】

数学的方法
<上一题 目录 下一题>
热门 试题

填空题
在数据库理论中，把客观存在并且可以相互区别的事物称为______。
填空题
软件开发方法是一种使用已经定义好的______及表示符号来组织软件生产过程的方法。
相关试题