temporal logic specification中文翻译

temporal logic specification

中文翻译

暂时逻辑说明

相关单词

temporal
读音：['tempәrәl]
a.时间的，暂时的，现世的，世俗的，颞的，太阳穴的
n.世间万物，教会财产
颞的，暂时的

logic
读音：['lɒdʒik]
n.逻辑，逻辑学，推理的方法，推理，逻辑性
逻辑
逻辑

specification
读音：[，spesifi'keiʃәn]
n.规格，详述，详细说明书
规范；形式说明；说明；说明书；规格
说明；详细说明；规格；技术规范；说明书；一览表
规格