程序正確性證明
詞語: 程序正確性證明
解釋: mathematical proofs of program correctness;proof of program correctness
詞典: 計算機專業漢英詞典
本文鏈接:https://www.smyyj.com/zh-hk/hanyingcidian/jisuanjihanying/470773.html