魏碑心思朗文詞典
簡(jiǎn)體
繁體
搜索
formal program verification
F 開(kāi)頭單詞
基本解釋
[計(jì)算機(jī)科學(xué)技術(shù)]形式程序驗(yàn)證
專(zhuān)業(yè)釋義
計(jì)算機(jī)科學(xué)技術(shù)
形式程序驗(yàn)證
上一篇
下一篇