These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化,形式验证,形式规约与分析。
单词 | formal specification |
例句 |
英语例句库
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis. 这些贡献包括编程语言和数据类型的公理化,形式验证,形式规约与分析。 声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。 |
随便看 |
英语例句辞典收录519880条英汉例句词条,基本涵盖了全部常用单词的造句方法及例句,是英语学习的有利工具。