Verification of Sequential and Concurrent Programs

【文件属性】：

文件名称：Verification of Sequential and Concurrent Programs

文件大小：2.53MB

文件格式：PDF

更新时间：2014-05-18 03:43:18

verification

并发程序的验证方法和基础.对于编写并行程序、并行程序测试、程序正确性验证等方面的同学值得一看