TEMPLOG
TEMPLOG
["Temporal Logic in Programming", M. Abadi et al, INtl SympLogic Prog pp.4-16 (1987)].
单词 | templog |
释义 | TEMPLOGTEMPLOG["Temporal Logic in Programming", M. Abadi et al, INtl SympLogic Prog pp.4-16 (1987)]. |
随便看 |
|
英语词典包含2567994条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。