进程代数《Communicating Sequential Processes》

时间：2015-11-12 14:28:02
【文件属性】：

文件名称：进程代数《Communicating Sequential Processes》

文件大小：1.22MB

文件格式：PDF

更新时间：2015-11-12 14:28:02

进程代数 csp csp教材

介绍进程代数，出自C. A. R. Hoare

立即下载

网友评论

  • 感谢提供资源，正在学习，十分需要这种书籍
  • 谢谢提供这么好的电子书，进程代数实在是非常抽象

相关文章