formal methods

【文件属性】：

文件名称：formal methods

文件大小：1.13MB

文件格式：PDF

更新时间：2012-10-05 04:32:31

model checking

了解形式化方法的书，是初学者学习形式化方法的入门书