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.───而实际上，电脑程序的证明方式，据目前所知，是前人们从未曾提出过的。

英语使用场景