菜篮子兴趣思朗文词典

formal program verification

F 开头单词

基本解释

  • [計算機科學技術]形式程序騐証

专业释义

    計算機科學技術

  • 形式程序騐証