program proof的意思

program proof中文翻譯：

程序驗證

相似詞語短語

proof───n.證明；證據；校樣；考驗；驗證；試驗；adj.防…的；不能透入的；證明用的；耐…的；vt.試驗；校對；使不被穿透

mistake proof───錯誤防范

inartistic proof───非藝術證據

incompleteness proof───不完全性證明

error proof───防錯

corrected proof───更正的證明

bill proof───票據證明

recession proof───防衰退

gifted program───天才計劃

雙語使用場景

Object invariant is important in the object-oriented program proof.───對象不變式在面向對象程序的證明中具有重要作用。

Publishing the source code of a program is the equivalent of publishing the proof of a theorem.───公布一個程序的源代碼與公布一個定理的證明是一樣的。

And, in fact, a computer program has come up with a proof that, as far as was known, nobody in the world had ever come up with before.───而實際上，電腦程序的證明方式，據目前所知，是前人們從未曾提出過的。

英語使用場景