temporal logic language

英美

时序逻辑语言，时态逻辑语言

temporal logic language网络翻译

时序逻辑语言

... temporal logic 时态逻辑，时序逻辑，暂时逻辑 temporal logic language 时序逻辑语言 temporary base strain gauge 临时基底应变计 ...

temporal logic language双语例句

XYZ/E is a temporal logic system as well as a programming language. It can represent almost every kind of significant features in conventional imperative languages.

既是一个时序逻辑系统也是一个程序设计语言，它能表示普通高级语言中几乎所有的重要机制。

Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.

采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。

相关单词

tutun. （法）芭蕾舞短裙；新西兰马桑 n. （Tutu）人名；（罗、南非）图图
tumblern. 不倒翁（玩具）；杂技演员；翻筋斗者；一杯的容量；滚筒；平底玻璃杯
trimestern. 三个月；一学期
trigonometryn. 三角学
trapezen. 秋千；吊架
transportingv. 运输；使产生身临其境的感觉；流放（transport 的现在分词）
trampolinen. 蹦床（一种体育器械），弹簧垫 v. 在蹦床上弹跳
tracern. [核]示踪物；追踪者；描图者；（铁笔等）绘图工具 n. （Tracer）人名；（英）特雷瑟
tombolan. （英）一种彩券 n. （Tombola）人名；（意）通博拉
to pass an examination
tights紧身裤袜
tiern. （高度各不相同的）一层，一排；（机构或系统的）层次，等级；（衣服的）一层褶裥（或荷叶边） v. 层叠，层层排列；成递升排列【名】（Tier）（英）蒂尔（人名）
telecommunicationsn. 电信，电讯
teachersn. 教师（teacher 的复数形式）
taxationn. 征税，税制；税款