文件名称：The Spin Model Checker
文件大小：1.33MB
文件格式：CHM
更新时间：2010-05-18 04:07:36
checking manual model spin
The Spin Model Checker - Primer and Reference Manual - Addison Wesley.chm
The Spin Model Checker
【文件属性】：
网友评论
- spin model checker的用户手册，国内很少有人用吧应该，内容是完整的。
- 不错，挺好的！
- 该书有索引，而且是完整的
- 很有用，内容详细而且查看方便
- 还不错~有用~！
- 内容还行！