Temporal logic is a formalism used to describe how a program state will change with time.
英
美
时态逻辑是用于描述程序状态如何随时间而更改的形式体系。
目录
查词历史
英 汉