程序校验论是什么意思、英文翻译及中文解释 本文已影响 1.33K人 程序校验论ing-bottom: 100%;"> 词语: 程序校验论解释: theory of program verification词性: 名词词典: 计算机专业汉英词典