English translation for "自动程序证明"

automatic program certification

Related Translations:

程序证明:  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

正确性证明:  correctne proofcorrectness proofjustificationproof of correctness

Similar Words：

"自动程序验证" English translation, "自动程序验证程序" English translation, "自动程序验证系统" English translation, "自动程序优化" English translation, "自动程序语言" English translation, "自动程序制导" English translation, "自动程序中断" English translation, "自动程序装置" English translation, "自动程序综合" English translation, "自动澄清" English translation