英语词汇“programming correctness proof”的读音、翻译、释义、用法及例句-英译汉实时翻译、汉译英在线翻译、英汉互译翻译词典-国先网

词汇	programming correctness proof
类别	英译汉实时翻译、汉译英在线翻译、英汉互译翻译词典
释义	programming correctness proof [?pro?ɡr?m?? k??rektn?s pruf] 释义 [计] 程序正确性证明
随便看	Dibold endo-bronchial tube Dibold's bronchial occluder Dibold's endo-bronchial tube Dibold's endo bronchial tube Diboll diboma costata Dibon Dibona dibonane Dibondrin diborane diboranes diborate diborated diboration diboride diborides Diboron diboron hexahydride diboron trioxide dibos diboson dibosons Dibotermin alfa Dibothridiata

国先网英语在线翻译词典收录了4367410条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。