自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

时态逻辑在计算机科学中的应用探索

更新中
文章平均质量分 93
本书深入浅出地介绍时态逻辑,探讨其在系统规范、验证及开发中的实际应用,结合案例分析,展现时态逻辑的魅力。
文章数:9 文章阅读量:1530 文章收藏量:13

作者: zzz56

这个作者很懒,什么都没留下…
展开

专栏收录文章