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