結構程式驗證
詞語: 結構程式驗證
解釋: constructive program verification
詞典: 計算機專業漢英詞典
本文連結:https://www.kkyyg.com/zh-tw/hanyingcidian/jisuanjihanying/471886.html