Temporal logic is a formalism used to describe how a program state will change with time.

 
  • 时态逻辑是用于描述程序状态如何随时间而更改的形式体系。
今日热词
目录 附录 查词历史