Temporal logic assertions are also useful for diagnosing such errors in the first place.

 
  • 首先,时态逻辑断言对于诊断此类错误也是有用的。
今日热词
目录 附录 查词历史