文件名称：并发系统的Promela语言建模与SPIN模型检测
文件大小：2.18MB
文件格式：DOC
更新时间：2014-01-05 07:23:12
并发系统 Promela 建模 SPIN
并发系统的Promela语言建模与SPIN模型检测
并发系统的Promela语言建模与SPIN模型检测
【文件属性】：
网友评论
- 内容挺多的，好好学一下
- 内容全面，习惯性好评。
- 给的例子很全面，不错的资源
- 很详细 但需要整理
- 呢绒算是比较全面吧，不过没什么侧重点就是了
- 不错~有很大的参考价值
- 大作业正好用到，谢谢
- 内容很详细，很有价值
- 资源还可以，价格有点高
- 资料整理的很是费心，但是各个章节之间比较乱，能理顺思路就成为上品了
- 内容还是有点乱，不过还可以吧。。
- 虽然内容有点乱，但是还是比较全面的，在这方面的资料比较少情况下，不失为一个比较好的参考资料