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