程序正确性证明是用______来证明程序正确性的方法。_爱下问搜题

搜题请搜索小程序“爱下问搜题”

问题填空题

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

答案

参考答案：数学的方法

解析：

[分析]：在系统开发中，验证程序的正确性采用的是数学的方法。

选择题

下列有机物由浓硝酸发生酯化反应而得到的是（）

A． TNT

B． CH₃CH₂NO₂

C．硝化甘油

D． C₆H₅NO₂

单项选择题

在一条点对点的链路上为了减少地址的浪费，子网掩码应该指定为______。

A) 255.255.255.252
B) 255.255.255.248
C) 255.255.255.240
D) 255.255.255.196