关于我们
新书资讯
新书推荐

规约和验证并发数据结构

规约和验证并发数据结构

定　　价：78 元

  • 作者：文堂柳著
  • 出版时间：2023/8/1
  • ISBN：9787548754503
  • 出 版 社：中南大学出版社
  • 中图法分类：TP332 
  • 页码：202页
  • 纸张：
  • 版次：
  • 开本：24cm
  • 商品库位：
9
7
7
8
5
7
4
5
5
4
0
8
3
本书作者针对并发数据结构可线性化标准及其验证方法进行了深入的研究。本书分析了并发数据结构可线性化标准的局限性，在此基础上提出了强可线性化标准。验证并发数据结构强可线性化最困难的部分是验证可线性化。
 你还可能感兴趣
 我要评论
您的姓名   验证码： 图片看不清？点击重新得到验证码
留言内容