- 重点词汇
- normallyadv.通常;正常地;
- he would他愿意
- persistentadj.持续的;坚持不懈的;持久的;坚持不渝;
- isvt.& vi. 是(be的三单形式);
- hispron.(he的所有格)他的;(he的物主代词)他的东西;
- bev. 是;有,存在;做,成为;发生;
- lessadv. 较少地,较小地;
- oftenadv.常常;经常;时常;再三;
- experiencen.经验;经历;往事;
- 相关例句
Model checking is a technique for automatically verifying finite-state concurrent systems.
模型检验是自动检验有限状态并发系统的技术.
互联网摘选
Verifying your logon information for saving content with restricted permission.
正在验证您的登录信息以保存受限权限内容.
互联网摘选