Chinese 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：

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