程序校驗論
詞語: 程序校驗論
解釋: theory of program verification
詞性: 名詞
詞典: 計算機專業漢英詞典
本文鏈接:https://www.yyxkb.com/hanyingcidian/jisuanjihanying/470885.html