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