coherence-invariant

常見(jiàn)例句

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