英语词汇“program correctness proof”的翻译、意思、用法、释义-英汉汉英双解词典

单词	program correctness proof
释义	program correctness proof 程序正确性证明
随便看	Mirvald Mirvan mirvan A mirve MIRVed MIRV guidance Mirville MIRVing mirvis Mirvish MIRV missile MIRVs MIRV'S mirwais Mirwald Mir was deorbited in a controlled re-entry in Mir-Winters exponential smoothing miry miryachit miryam miryang Miryang Miryang City Miryang-gun miry soil