And this tool was actually built on a solver that's deployed routinely around the world for conventional software verification.
这个工具实际上是建立在经常被部署在世界各地用于传统的软件验证的解算器上的。
单词 | Software Verifications |
释义 |
Software Verifications
原声例句
TED演讲(视频版)双语精选 And this tool was actually built on a solver that's deployed routinely around the world for conventional software verification. 这个工具实际上是建立在经常被部署在世界各地用于传统的软件验证的解算器上的。 |
随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。