| 000 |
|
00976nam0 2200253 450 |
| 001 |
|
012023181584 |
| 005 |
|
20231019092513.0 |
| 010 |
__ |
■a978-7-5487-5450-3■dCNY78.00 |
| 100 |
__ |
■a20231017d2023 em y0chiy50 ea |
| 101 |
0_ |
■achi |
| 102 |
__ |
■aCN■b430000 |
| 105 |
__ |
■aa z 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a规约和验证并发数据结构■b专著■f文堂柳著■9gui yue he yan zheng bing fa shu ju+...... |
| 210 |
__ |
■a长沙■c中南大学出版社■d2023.08 |
| 215 |
__ |
■a202页■c图■d24cm |
| 300 |
__ |
■a赣南科技学院优秀学术著作出版基金资助 |
| 330 |
__ |
■a本书作者针对并发数据结构可线性化标准及其验证方法进行了深入的研究。本书分析了并发数据结构可线性化标准的局限性，在此基+...... |
| 333 |
__ |
■a微处理器数据结构研究人员 |
| 606 |
0_ |
■a微处理器■x数据结构■x研究 |
| 690 |
__ |
■aTP332■v5 |
| 701 |
_0 |
■a文堂柳■4著■9wen tang liu |
| 801 |
_0 |
■aCN■b南昌职业大学图书馆■c20240702 |
| 905 |
|
■a南昌职业大学图书馆■dTP332/83 |
(共0票)
评价
