Semantics Of Probabilistic Processes An Operational Approach
由……售出:
CN¥549.00
有货
+ CN¥150.49 送货
14天退货政策
付款方式：
产品详情
产品详情
Semantics Of Probabilistic Processes An Operational Approach
This Book Discusses The Semantic Foundations Of Concurrent Systems With Nondeterministic And Probabilistic Behaviour. Particular Attention Is Given To Clarifying The Relationship Between Testing And Simulation Semantics And Characterising Bisimulations From Metric, Logical, And Algorithmic Perspectives. Besides Presenting Recent Research Outcomes In Probabilistic Concurrency Theory, The Book Exemplifies The Use Of Many Mathematical Techniques To Solve Problems In Computer Science, Which Is Intended To Be Accessible To Postgraduate Students In Computer Science And Mathematics.
- 品牌: Springer Nature B.V
- 类别: 计算机与互联网
-
语言: English
-
作者: Yuxin Deng
-
出版日期: 2015-03-09
-
页数: 264
-
出版社／标签: Springer Nature B.V
-
格式: Hardcover
- Fruugo ID: 557267461-1125537368
- ISBN: 9783662451977
配送
送货
在 24 小时内发货
-
STANDARD: CN¥150.49 - 之间的交付 周一 09 十一月 2026–周一 07 十二月 2026
从 英国 送货。
退货
退货
我们会争取将您订购的产品按照您的规格完整地配送给您。不过，万一您收到不完整的订单，或收到的产品与您订购的不同，或者有其他原因让您对订单不满意，您可以要求全部或部分退货，您将收到相应产品的全额退款。