1. 首页
  2. 编程语言
  3. 其他
  4. Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

上传者: 2018-12-24 21:39:06上传 PDF文件 2.53MB 热度 31次
并发程序的验证方法和基础.对于编写并行程序、并行程序测试、程序正确性验证等方面的同学值得一看
用户评论
码姐姐匿名网友 2018-12-24 21:39:06

比较经典的书,只是比较长,学习起来有点费时