《规约和验证并发数据结构》9787548754503.pdf-文堂柳著-电子书下载-云上书馆

规约和验证并发数据结构电子版图书

《规约和验证并发数据结构》图书简介

规约和验证并发数据结构

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

这本纸质书在哪买最划算？

推荐以下三种渠道：

  点击前往：豆瓣读书
  点击前往：京东读书
  点击前往：当当图书

本书PDF电子版下载：

·点击进入下载地址

本书有电子版，如无法下载

请加我们Q群: 766799536 联系索取。

· 围观：下载的电子书缺章、不完整怎么办？