【文件属性】:
文件名称:进程代数《Communicating Sequential Processes》
文件大小:1.22MB
文件格式:PDF
更新时间:2015-11-12 14:28:02
进程代数 csp csp教材
介绍进程代数,出自C. A. R. Hoare
网友评论
- 感谢提供资源,正在学习,十分需要这种书籍
- 谢谢提供这么好的电子书,进程代数实在是非常抽象