Principles of Model Checking

【文件属性】：

文件名称：Principles of Model Checking

文件大小：4.94MB

文件格式：RAR

更新时间：2012-10-07 07:49:24

Model Checking

An excellent textbook for students majoring in software verification

【文件预览】：
The.MIT.Press.Principles.of.Model.Checking.May.2008.eBook-DDU.pdf