蘋果有道詞典
簡(jiǎn)體
繁體
搜索
formal program verification
F 開頭單詞
基本解釋
[計(jì)算機(jī)科學(xué)技術(shù)]形式程序騐証
專業(yè)釋義
計(jì)算機(jī)科學(xué)技術(shù)
形式程序騐証
上一篇
下一篇