temporal logic specification

【计】 暂时逻辑说明
在线英汉词典
相关词语