《交互式马尔可夫链——并发系统的设计、验证与评价》- 吴尽昭，王永祥，覃广平著 - 读书评论

正在读取登录信息...

图书详细信息推荐图书 | 最新书评

交互式马尔可夫链——并发系统的设计、验证与评价

作者：吴尽昭，王永祥，覃广平著

出版社：科学出版社

出版日期：2007年06月

想读在读读过

内容简介

通过正交结合经典的进程代数和连续时间马尔可夫链模型，交互式马尔可夫链(IMC)提供了完美的可组合化的并发系统设计和分析框架。本书主要介绍了IMC的理论及其在并发系统层次化设计以及功能验证与性能评价方面的应用，主要内容包括IMC上的分支时间等价和前序关系、IMC的动作细化理论以及基于IMC的模型检验方法。
　　本书可以供研究生、教师和科研人员作为了解并发系统理论研究及与数学机械化基本思想与方法相结合的形式在设计与分析技术最新成果的参考书。

发表书评

本书标签

自然科学数学概率论与数理统计

为此书添加标签：（多个标签用空格分隔）

图书购买信息

当当网（RMB 22.80）

请对此书作出评价

请您登录后为此书评分

目前还没有人对此书评分

同类图书推荐

新书快递

精准投资：管清友的投资思维课

作者：管清友

内容简介：投资是撬动人生的支点。

我们身处一个财富巨变的时代,选择永远比努力重要;