机读格式显示(MARC)

• 000 00498nam 2200121 450

• 001 0000527206

• 010 __ |a 9787548754503 |d 78

• 100 __ |a 20241203d2024 ekmy0chiy50 ea

• 200 0_ |a 规约和验证并发数据结构 |f 文堂柳著

• 210 __ |c 中南大学出版社 |a 长沙 |d 2023.08

• 215 __ |a 202页 |d 24cm |e 图

• 330 __ |a 本书作者针对并发数据结构可线性化标准及其验证方法进行了深入的研究。本书分析了并发数据结构可线性化标准的局限性，在此基础上提出了强可线性化标准。验证并发数据结构强可线性化最困难的部分是验证可线性化。

• 690 __ |a TP332