coherence-invariant

　
英 [k??'hi?r?ns?nv'e?ri?nt] 　 　 美 [k??'hi?r?ns?nv'e?ri?nt] 　 　
  • 凝聚不變式

coherence-invariant的用法和樣例：

例句

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

coherence-invariant的相關(guān)資料：

臨近單詞

今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan