关于我们
书单推荐                   更多
新书推荐         更多

规约和验证并发数据结构

规约和验证并发数据结构

定　　价：78 元

     

  • 作者：文堂柳著
  • 出版时间：2023/8/1
  • ISBN：9787548754503
  • 出 版 社：中南大学出版社
  • 中图法分类：TP332 
  • 页码：202页
  • 纸张：
  • 版次：
  • 开本：24cm
9
7
7
8
5
7
4
5
5
4
0
8
3
本书作者针对并发数据结构可线性化标准及其验证方法进行了深入的研究。本书分析了并发数据结构可线性化标准的局限性，在此基础上提出了强可线性化标准。验证并发数据结构强可线性化最困难的部分是验证可线性化。
 你还可能感兴趣