英语词汇proof of correctness怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词	proof of correctness
释义	proof of correctness 简明释义正确性证明：指在程序规范下被认定为正确的算法判定。网络释义 1 ?程序正确性证明 ... program correctness 程序的正确性; 程序正确性 proof of correctness 程序正确性证明; 正确性证明 proving correctness 验证正确性 ... 2 ?正确性的证明 ... 提示 prompt 正确性的证明 proof of correctness 性质 property ... 短语 1 proof of program correctness 计程序正确性证明 2 proof of the correctness 正确性证明 3 correctness proof of program 程序正确性证明双语例句 1 In this paper, the proof of correctness and the complexity analysis of the MRPMQ are also given. 给出了该协议的正确性证明和复杂性分析。 2 The correctness proof and complexity analysis of LEACH - ZMH are given. 给出LEACH - Z MH的正确性证明和复杂性分析。 3 Finally, given the size of the API, any formal proof of specific properties or the correctness of programs using it is an extremely difficult task. 最后，由于API的规模，特定属性的形式证明和使用这些属性的程序的正确性的验证变得相当困难。
随便看	potassium depletion potassium dibutyldithiocarbamate potassium dichlorocuprite potassium dichloroisocyanurate potassium dichromate potassium dichromate filter potassium dichromate method potassium dichromate poisoning potassium dichromate Potassium Dicyanoargentate potassium dicyanoaurate potassium dideuterium phosphate potassium diet Potassium,Dietary potassium digermanate Potassium Dihydeogen Orthophosphate Potassium Dihydeogen Phosphate Potassium Dihydeogen Phosphite Potassium Dihydrogen potassium dihydrogen arsenate potassium dihydrogen arsenite potassium dihydrogen hypophosphate potassium dihydrogen phosphate potassium dihydrogenphosphate potassium dihydrogen phosphate, KDP

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。