魏碑心思朗文词典

formal program verification

F 开头单词

基本解释

  • [计算机科学技术]形式程序验证

专业释义

    计算机科学技术

  • 形式程序验证