首页 下载 编程语言 其他 下载详情 B方法 JRAbrial著 裘宗燕译 上传：weixin_83079 浏览： 40 推荐： 0 文件：RAR 大小：39.92MB 上传时间：2020-05-26 22:13:32 版权申诉 B方法J-RAbrial著裘宗燕译，这个不用在说了，png格式的，很清晰。 立即下载 上传资源 微信扫一扫 用户评论 提交评论 tomcls 2020-05-26 22:13:32 一堆图片有点看着不爽 LXBig 2020-05-26 22:13:32 是本好书，对形式方法感兴趣的人可以学习学习。 zhzhlxhh 2020-05-26 22:13:32 图片文档，有点大。不过非常清晰，很不错的学习资源 ztoopoo 2020-05-26 22:13:32 不错，对于想学习B方法的人来说是个很好的学习教材，很好！ 迪亚大菠萝 2020-05-26 22:13:32 非常好的书，可惜不是连续的文件.....
tomcls 2020-05-26 22:13:32
一堆图片有点看着不爽
LXBig 2020-05-26 22:13:32
是本好书，对形式方法感兴趣的人可以学习学习。
zhzhlxhh 2020-05-26 22:13:32
图片文档，有点大。不过非常清晰，很不错的学习资源
ztoopoo 2020-05-26 22:13:32
不错，对于想学习B方法的人来说是个很好的学习教材，很好！
迪亚大菠萝 2020-05-26 22:13:32
非常好的书，可惜不是连续的文件.....