软件形式化验证课程课件 上传者：miaotk 2019-05-23 00:09:59上传 RAR文件 6.67MB 热度 36次 清华大学软件学院研究生课程回忆贺飞老师的课程，理论结合实际，研究了NuSMV的工具和语言的运用。不错的课程，对软件形式化的讲解还是很好地。资源包括LogicinComputerScienceModellingandReasoningaboutSystems教材。英文原版的 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 2019-05-23 00:09:59 花了很多分才下载到，物有所值，不错 码姐姐匿名网友 2019-05-23 00:09:59 分数有点多，课件还可以吧 码姐姐匿名网友 2019-05-23 00:09:59 课件不错，形式化入门研究的好资料 码姐姐匿名网友 2019-05-23 00:09:59 挺有用的课件！需要结合其他文献或书籍进一步理解课件。 码姐姐匿名网友 2019-05-23 00:09:59 课件是中英文混合的，呵呵。还行。 码姐姐匿名网友 2019-05-23 00:09:59 形式化的课件写的还不错，NuSMV写得还不错。就是要分也太多了，不是很值。 发表评论 miaotk 资源：55 粉丝：0 +关注 上传资源 免责说明 本站只是提供一个交换下载平台，下载的内容为本站的会员网络搜集上传分享交流使用,有完整的也有可能只有一分部,相关内容的使用请自行研究,主要是提供下载学习交流使用,一般不免费提供其它各种相关服务! 本站内容泄及的知识面非常广,请自行学习掌握,尽量自已动脑动手解决问题,实践是提高本领的途径,下载内容不代表本站的观点或立场!如本站不慎侵犯你的权益请联系我们,我们将马上处理撤下所有相关内容！联系邮箱：server@dude6.com
花了很多分才下载到，物有所值，不错
分数有点多，课件还可以吧
课件不错，形式化入门研究的好资料
挺有用的课件！需要结合其他文献或书籍进一步理解课件。
课件是中英文混合的，呵呵。还行。
形式化的课件写的还不错，NuSMV写得还不错。就是要分也太多了，不是很值。