行为时序逻辑 编辑
行为时序逻辑是由莱斯利·兰伯特发展的用于规范和推理并发自反应系统的时间逻辑。 主要应用于计算机科学，程序验证。
5
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]