网站首页  词典首页

请输入您要查询的汉语字词:

 

单词 程序正确性证明
释义

程序正确性证明翻译

拼音:chéng xù zhèng què xìng zhèng míng

英语翻译:

【计】 programming correctness proof; proof of program correctness

分词翻译:

程序的英语翻译:

formality; ground rule; procedure; proceeding; process; program
【计】 P; problem determination aid; PROC; program; related channel program
【化】 sequence
【经】 program; sequence

正确的英语翻译:

accuracy; exactness; justness; nicety; preciseness; punctuality
【经】 accuracy

证明的英语翻译:

prove; certify; argue; demonstrate; justify; manifest; testify; vouch
【计】 proofness; proving
【化】 proofing
【医】 certificate; certify; proof
【经】 attest; attestation; authenticated; authentication; certification
certify; testimony

随便看

 

汉英词典包含397958条汉译英在线翻译词条,基本涵盖了全部常用汉语字词的英语翻译及用法,是英语学习及工作的有利工具。

 

Copyright © 2002-2024 Abctj.com All Rights Reserved
京ICP备2021023879号 更新时间:2024/12/25 14:16:42