有奖纠错
| 划词

These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.

献包括编程语言和数据类的公理化,形式验证,形式规析。

评价该例句:好评差评指正

用户正在搜索


encephalomalacia, encephalomyelitis, encephalomyocarditis, encephalon, encephalopathy, encephalosis, encephalous, enchain, enchant, enchanter,

相似单词


3G, 401(K), a,

声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。

[+反馈]
  • 微信二维码

    关注我们的微信

  • 手机客户端二维码

    下载手机客户端

赞助商链接