软件开发中的形式化方法

总体 来说 还是 可以的, 如果免费更好了

都是对形式化方法比较初级的理论概述，介绍的也不是很详细，接受起来比较困难，应更多的针对应用

介绍还可以，不过有点抽象，不是很好理解