4、关于程序正确性的定义: {P} A {Q} ,其中()的叙述是不正确的。

A.P是前置条件 B.Q是运行结果 C.Q是后置条件 D.A是执行功能

时间:2024-04-11 15:43:11

相似题目