程序校验论
词语: 程序校验论
解释: theory of program verification
词性: 名词
词典: 计算机专业汉英词典
本文链接:https://www.yyxkb.com/zh-my/hanyingcidian/jisuanjihanying/470885.html