These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化,形式验证,形式规约与分析。
单词 | data type |
例句 |
英语例句库
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis. 这些贡献包括编程语言和数据类型的公理化,形式验证,形式规约与分析。 When this level of detail is needed, each component of the HL7 data type can be encoded as a separate subcomponent. 可理解为当该层次的详细情况被需要的时候,HL7的每一个组分都可以被代码为单独的子组分。 声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
原声例句
CS50 So recall that C supports different data types. 回想一下,C支持不同的数据类型。 CS50 Then there were all of these other data types. 还有其他所有的数据类型。 Introduction to Unity DOTS The chunk shows you the data types. 该块显示了数据类型。 Introduction to Unity DOTS And inside of here, we just pass in a bunch of data types. 在这里,我们只是传入一堆数据类型。 CS50 You can instead implicitly cast one data type to another just from context here. 您可以只从这里的上下文隐式地将一种数据类型转换为另一种数据类型。 CS50 C does not technically have a data type called string. 从技术上讲,C没有称为string的数据类型。 Introduction to Unity DOTS Essentially value types like bytes, ints, floating points, simpler data types. 本质上是值类型,如字节、整数、浮点、更简单的数据类型。 Introduction to Unity DOTS We define an archetype of data types. 我们定义数据类型的原型。 Introduction to Unity DOTS So, this chunk of data has two different data types, the world time and world time queue. 因此,该数据块有两种不同的数据类型:世界时间和世界时间队列。 CS50 So we'll see and use some of these data types in just a bit. 所以我们将在稍后看到并使用其中的一些数据类型。 Introduction to Unity DOTS The data types aren't in any particular order. 数据类型没有任何特定的顺序。 CS50 And this is because C is very specific when it comes to its data types. 这是因为C在数据类型方面非常特殊。 CS50 Well, I recall earlier noting that there's other data types. 嗯,我记得前面提到过还有其他数据类型。 牛津大学:雅思外教课 Sometimes, questions include a combination of different data types, so you might have a line graph and a table, or two different maps, for example. 有时,问题包括不同数据类型的组合,所以你可能会看到如线状图和表格,或两种不同的地图。 |
随便看 |
|
英语例句辞典收录519880条英汉例句词条,基本涵盖了全部常用单词的造句方法及例句,是英语学习的有利工具。