英
[kəʊ'hiərənsɪnv'eəriənt]
美
[kəʊ'hiərənsɪnv'eəriənt]
coherence-invariant的用法和樣例:
例句
- The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.
對使用形式化方法及循環不變式開發新策略開發非遞歸演算法作了較深入的實踐和探討。
coherence-invariant的相關資料:
臨近單詞
以上內容獨家創作,受著作權保護,侵權必究