1. 首页
  2. 安全技术
  3. 其他
  4. cspbook.pdf

cspbook.pdf

上传者: 2019-07-17 19:56:00上传 PDF文件 2.87MB 热度 19次
本书是描述通信顺序进程的形式化描述与验证电子书,关注形式化,特别是并发进程的形式化描述的朋友可以下载学习!
下载地址
用户评论