MARC状态：审校 文献类型：中文图书 浏览次数：9
- 题名/责任者:
- 规约和验证并发数据结构/文堂柳著
- 出版发行项:
- 长沙:中南大学出版社,2023
- ISBN及定价:
- 978-7-5487-5450-3/CNY78.00
- 载体形态项:
- 202页:图;24cm
- 个人责任者:
- 文堂柳 (1980-) 著
- 学科主题:
- 微处理器-数据结构-研究
- 中图法分类号:
- TP332
- 一般附注:
- 赣南科技学院优秀学术著作出版基金资助
- 提要文摘附注:
- 本书针对并发数据结构可线性化标准及其验证方法进行了深入研究。书中分析了可线性化标准的局限性，在此基础上提出了强可线性化标准，致力于提供简单易用的方法验证并发数据结构的可线性化。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP332/64 | 00791071 |  书库
(图书定位请点击这里) |
可借 | 书库 | |
| TP332/64 | 00791072 | 书库
(图书定位请点击这里) |
可借 | 书库 |
显示全部馆藏信息