... program correctness 程序的正确性; 程序正确性 proof of correctness 程序正确性证明; 正确性证明 proving correctness 验证正确性 ...
基于1个网页-相关网页
... 提示 prompt 正确性的证明 proof of correctness 性质 property ...
proof of program correctness [计] 程序正确性证明
proof of the correctness 正确性证明
correctness proof of program 程序正确性证明
·2,447,543篇论文数据，部分数据来源于NoteExpress
In this paper, the proof of correctness and the complexity analysis of the MRPMQ are also given.
给出了该协议的正确性证明和复杂性分析。
youdao
应用推荐
模块上移
模块下移
不移动