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