Chinese translation for "证明程序正确性"

proving program correct

Related Translations:

正确性的程序设计:  correctness oriented programming

程序证明:  program proofprogram proving

出口证明:  export certificateexport certificationproof of export

委任证明:  certification of authorization

修订证明:  revised certificates

实践证明:  it has been found thatpractice confirmspractice proves

结清证明:  discharge

健康证明:  bill of healthcertificate of healthemdical certificatehealth certificatehealth certififcatesmedical certificate

演绎证明:  deductive proof

付款证明:  payment certificate

Similar Words：

"证明部分当事人如果自然人" Chinese translation, "证明材料" Chinese translation, "证明操作" Chinese translation, "证明策略" Chinese translation, "证明测验" Chinese translation, "证明船期的主要单据" Chinese translation, "证明错了" Chinese translation, "证明的" Chinese translation, "证明的、有史以来的长寿冠军" Chinese translation, "证明的定义" Chinese translation