同类推荐
-
-
Seedance从入门到精通:即梦AI从创意到一键生成…
-
¥69.00
-
-
Seedance从入门到精通:即梦AI从创意到一键生成…
-
¥69.00
-
-
Seedance从入门到精通:即梦AI从创意到一键生成…
-
¥69.00
-
-
CCF GESP C++通关训练习题集(一、二级)
-
¥79.00
-
-
CCF GESP C++通关训练习题集(一、二级)
-
¥79.00
-
-
CCF GESP C++通关训练习题集(一、二级)
-
¥79.00
-
-
计算机操作系统习题与考研真题解析(第2版)(微课版)
-
¥59.80
-
-
计算机操作系统习题与考研真题解析(第2版)(微课版)
-
¥59.80
-
-
计算机操作系统习题与考研真题解析(第2版)(微课版)
-
¥59.80
-
-
单片机原理与应用设计(慕课版)(第2版)(C51编程+…
-
¥69.80
|
|
图书信息
|
|
|
|
并发的本质:英文
|
| ISBN: | 9787563987931 |
定价: | ¥49.00 |
| 作者: | 王勇,代桂平著 |
出版社: | 北京工业大学出版社 |
| 出版时间: | 2026年04月 |
开本: | 26cm |
| 页数: | 240页 |
中图法: | TP311.11 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
35
|
|
2026-08-06
|
图书简介 | | 本书涵盖了并发的不同领域,它使程序、算法或问题能够分解为与顺序无关或部分有序的组件,以提高计算和执行速度。执行并发有两种主要方法:交错并发和真并发。交错并发的主要代表是互模拟/根分支互模拟等价,这项工作最终建立了全面的公理化模互模拟等价的代数系统——ACP(通信进程代数)。另一种并发方法是真并发。当前,学界对真病发的研究是活跃的。真并发的语义模型存在若干种真并发互模拟等价,包括:偏序集互模拟等价、步进互模拟等价、历史保存(hp-)互模拟等价和遗传历史保持(hhp-)互模拟等价,真并发进程代数是建立在这些语义模型之上的代数系统。 |
|