-
规约和验证并发数据结构
¥38.2(4.9折)定价:¥78.0本书作者针对并发数据结构可线性化标准及其验证方法进行了深入的研究。本书分析了并发数据结构可线性化标准的局限性,在此基础上提出了强可线性化标准。验证并发数据结构强可线性化最困难的部分是验证可线性化...
本书作者针对并发数据结构可线性化标准及其验证方法进行了深入的研究。本书分析了并发数据结构可线性化标准的局限性,在此基础上提出了强可线性化标准。验证并发数据结构强可线性化最困难的部分是验证可线性化...
京ICP备09013606号-3京信市监发[2002]122号海淀公安分局备案编号:1101083394