文件名称：Principles.of.the.Spin.Model.Checker
文件大小：4.22MB
文件格式：ZIP
更新时间：2015-10-08 17:20:42
spin 软件工程
Principles.of.the.Spin.Model.Checker 完整版，按章节分成几个文件。还有一个最大的文件是整本书合在一起的，但是没有目录导航。下载回来就是这样子的
【文件预览】：
03_fulltext.pdf
10_fulltext.pdf
02_fulltext.pdf
11_fulltext.pdf
09_fulltext.pdf
12_back-matter.pdf
06_fulltext.pdf
01_fulltext.pdf
07_fulltext.pdf
Principles_of_the_SPIN_Model_Checker.pdf
05_fulltext.pdf
08_fulltext.pdf
00_front-matter.pdf
04_fulltext.pdf