hoars
英
美
(hoar 的第三人称 -s形式) a. 白的, 灰色的, 发白的
n. 灰白, 灰白色, 白霜
hoar 的复数
双语例句
- It makes full use of the advantages, including that algebraic semantics describes the abstract data types, Hoare logic describes the software functions and UNYFY logic describes the properties of parallel programs.
其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。