B方法 JRAbrial著 裘宗燕译
B方法J-RAbrial著裘宗燕译，这个不用在说了，png格式的，很清晰。
下载地址
用户评论
一堆图片有点看着不爽
是本好书，对形式方法感兴趣的人可以学习学习。
图片文档，有点大。不过非常清晰，很不错的学习资源
不错，对于想学习B方法的人来说是个很好的学习教材，很好！
非常好的书，可惜不是连续的文件.....