形式化方法--北大教学ppt--很经典！ 上传者：MrCyfKing 2019-05-07 11:51:31上传 RAR文件 2.9MB 热度 52次 形式化方法--北大教学ppt--很经典！共分七章讲解，内容全了。有兴趣的朋友可以看看。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 2019-05-07 11:51:31 形式化方法，在冷门了，现在都不用了都 码姐姐匿名网友 2019-05-07 11:51:31 挺不错的,就是可惜是pdf格式的 码姐姐匿名网友 2019-05-07 11:51:31 这个很靠谱。。学习形式化不错。。 码姐姐匿名网友 2019-05-07 11:51:31 不错，讲的很好，谢谢分享！ 码姐姐匿名网友 2019-05-07 11:51:31 不错。对形式化方法分析的很好哈。 码姐姐匿名网友 2019-05-07 11:51:31 该书是北大裘宗燕教授对B方法的教授。 发表评论
形式化方法，在冷门了，现在都不用了都
挺不错的,就是可惜是pdf格式的
这个很靠谱。。学习形式化不错。。
不错，讲的很好，谢谢分享！
不错。对形式化方法分析的很好哈。
该书是北大裘宗燕教授对B方法的教授。