coherence-invariant

基本解釋

• 凝聚不變式

同根派生

• coherence-invariant相關(guān)詞

英漢例句

• The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.
  對使用形式化方法及循環(huán)不變式開發(fā)新策略開發(fā)非遞歸算法作了較深入的實(shí)踐和探討。

• coherence-invariant更多例句