英语词汇programming correctness proof是什么意思，programming correctness proof的用法、释义、翻译、读音、例句、短语词组-英汉汉英翻译词典

单词	programming correctness proof
释义	programming correctness proof　【计】程序正确性证明
随便看	quinine bisalicylosalicylate quinine bismuth iodide quinine bisulfate quinine camphorate quinine carbacrylic resin quinine carbolate quinine carbonate quinine chlorhydrophosphate quinine chlorhydrosulfate quinine citrate quinine dihydrobromide quinine dihydrochloride quinine eosolate quinine ethyl carbonate quinine ethylcarbonate quinine fever quinine formate quinine fungus quinine gluconate quinine glycerophosphate quinine guaiacol-bisulfonate quinine hrdrochlorphosphate quinine hydriodide quinine hydrobromide quinine hydrochloride

英汉汉英翻译词典包含1679246条英汉翻译词条，基本涵盖了全部常用英语单词及常用语的翻译及用法，是英语学习及翻译工作的有利工具。