网站首页  词典首页

请输入您要查询的英文单词:

 

单词 promela
释义

promela

  • 网络元语言
1.
元语言
基于元语言Promela)和LTL(linear temporal logic,线性时态逻辑)作为输入。   下面是时态逻辑的介绍:
www.cnblogs.com

例句

释义:
随便看

 

英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/2/28 0:38:30