基本解釋

• [計(jì)算機(jī)科學(xué)技術(shù)]形式語(yǔ)意定義

英漢例句

雙語(yǔ)例句

• The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
  在形式化定義基礎(chǔ)上，可進(jìn)行用例描述間關(guān)聯(lián)的正確性分析及語(yǔ)義等價(jià)分析。

• formal semantic definition更多例句

專業(yè)釋義

計(jì)算機(jī)科學(xué)技術(shù)

• 形式語(yǔ)意定義