《交互式马尔可夫链:并发系统的设计、验证与评价》主要介绍了IMC的理论及其在并发系统层次化设计以及功能验证与性能评价方面的应用，主要内容包括IMC上的分支时间等价和前序关系、IMC的动作细化理论以及基于IMC的模型检验方法。通过正交结合经典的进程代数和连续时间马尔可夫链模型，交互式马尔可夫链(IMC)提供了完美的可组合化的并发系统设计和分析框架。
《交互式马尔可夫链:并发系统的设计、验证与评价》可以供研究生、教师和科研人员作为了解并发系统理论研究及与数学机械化基本思想与方法相结合的形式在设计与分析技术最新成果的参考书。
具体描述
读后感
评分
评分
评分
评分
评分
用户评价
评分
通过正交结合经典的进程代数和连续时间马尔科夫链模型，IMC提供了完美的可组合化的并发系统设计和分析框架
评分通过正交结合经典的进程代数和连续时间马尔科夫链模型，IMC提供了完美的可组合化的并发系统设计和分析框架
评分通过正交结合经典的进程代数和连续时间马尔科夫链模型，IMC提供了完美的可组合化的并发系统设计和分析框架
评分通过正交结合经典的进程代数和连续时间马尔科夫链模型，IMC提供了完美的可组合化的并发系统设计和分析框架
评分通过正交结合经典的进程代数和连续时间马尔科夫链模型，IMC提供了完美的可组合化的并发系统设计和分析框架
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有