英语词汇“automatic program verification system”的读音、翻译、释义、用法及例句-语文网

词汇	automatic program verification system
释义	automatic program verification system 自动程式验证系统程式验证就是证明电脑程式与规定程式做什麽的形式说明之间的一致性。
随便看	irrational irrationalism irrationality irrationally irrational number irrational number IRRDB irreal irreality irrebuttable irreclaimable irreconcilable irrecoverable irrecoverable error irrecoverably irrecusable irredeemable irredeemable bond irredeemable currency irredeemable debenture irredeemable money irredeemable preference share irredeemables irredeemably irredenta

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