程序正确性证明是什么意思、英文翻译及中文解释

语法录 人气:1.71K

程序正确性证明

程序正确性证明是什么意思、英文翻译及中文解释

词语: 程序正确性证明

解释: mathematical proofs of program correctness;proof of program correctness

词典: 计算机专业汉英词典