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

词汇	automatic program verification system
释义	automatic program verification system 自动程式验证系统程式验证就是证明电脑程式与规定程式做什麽的形式说明之间的一致性。
随便看	沓沓沓沓多言沓至沓杂事物沔水冲冲冲刷冲剂冲印冲塌冲塌堤坝冲塌房屋冲压冲压机冲天冲帐冲床冲掉冲昏头冲晒冲服冲模冲模插床

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