?正确性证明
...正确性证明[gap=1232]ion problem; problem reduction; algorithm derivation; PAR (partition-and-recur); correctness proof...
计 部分正确性证明
计 程序正确性证明
协议正确性证明
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。