网站首页 词典首页
Integration of formal method into high - confidence software engineering was studied.
文章研究在高可信软件工程中集成形式化方法.
互联网
英汉双解词典包含4367426条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。