terminability相关的网络例句
查询词典 terminability
- 与 terminability 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Use operational semantics as tools to proof definiteness and terminability of SPL expressions, so security of SPL is guaranteed.
本文以操作语义为分析工具，证明了SPL策略语言表达式的确定性和可终止性，从而间接证明了SPL语言的安全性是有保障的。
-
The definition of key constraints for XML and a sound and complete set of inference rules of absolute and relative key are given. An algorithm of solving candidate key for XML is presented, and validity, terminability and time complexity of that are proved.
给出XML键约束的完整定义以及绝对键和相对键的推理规则，提出多项式时间求解XML候选键的算法，并对算法的正确性、可终止性和时间复杂性进行了分析和证明。
- 推荐网络例句
-
He tendered his resignation to the Prime Minister.
他向首相递了辞呈。不适合
-
International economy and trade,Nanking 210044
国际经济与贸易，南京 210044
-
Lord… have I misheard you?
主啊，是我听错了吗？