MARC状态：订购 文献类型：中文图书 浏览次数：3
- 题名/责任者:
- 规约和验证并发数据结构/文堂柳著
- 出版发行项:
- 长沙:中南大学出版社,2023.08
- ISBN及定价:
- 9787548754503/78
- 载体形态项:
- 202页;24cm+图
- 中图法分类号:
- TP332
- 提要文摘附注:
- 本书作者针对并发数据结构可线性化标准及其验证方法进行了深入的研究。本书分析了并发数据结构可线性化标准的局限性，在此基础上提出了强可线性化标准。验证并发数据结构强可线性化最困难的部分是验证可线性化。
全部MARC细节信息>>