书目详细信息
： 规约和验证并发数据结构
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5487-5450-3:CNY78.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 430000 |
| 题名责任者项： | 规约和验证并发数据结构/.文堂柳著 |
| 出版发行项： | 长沙:,中南大学出版社:,2023 |
| 载体形态项： | 202页:;+图:;+24cm |
| 一般附注： | 赣南科技学院优秀学术著作出版基金资助 |
| 提要文摘： | 本书作者针对并发数据结构可线性化标准及其验证方法进行了深入的研究。本书分析了并发数据结构可线性化标准的局限性，在此基础上提出了强可线性化标准。验证并发数据结构强可线性化最困难的部分是验证可线性化。 |
| 题名主题： | 微处理器 数据结构 研究 |
| 中图分类： | TP332 |
| 个人名称等同： | 文堂柳 著 |
| 记录来源： | CN rentian 20231017 |