软件开发中的形式化方法
Formal methods in software development
下载地址
用户评论
总体 来说 还是 可以的, 如果免费更好了
都是对形式化方法比较初级的理论概述,介绍的也不是很详细,接受起来比较困难,应更多的针对应用
介绍还可以,不过有点抽象,不是很好理解