魏碑心思朗文詞典
簡(jiǎn)體
繁體
搜索
formal verification of programs
F 開(kāi)頭單詞
基本解釋
[語(yǔ)言學(xué)]程序的形式驗(yàn)證
專(zhuān)業(yè)釋義
語(yǔ)言學(xué)
程序的形式驗(yàn)證
上一篇
下一篇