填空题

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

【参考答案】

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

填空题
在数据库理论中，把客观存在并且可以相互区别的事物称为______。
填空题
信息系统______就是根据工作对象和内容而应采取的行动方针和工作方法。
相关试题