简介
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language a... 更多
属性
出版社
Springer
ISBN
9781447166863
出版年
2018-3-20
装帧
Paperback
价格
GBP 42.99
页数
343
时光轴
里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%
推荐
Reliable Distributed Systems
Explains fault tolerance in clear terms, with conc
Reliable Distributed Systems
0
Designing Distributed Systems: Patterns and Paradigms for Scalable, Reliable Services
Developing reliable, scalable distributed systems
Designing Distributed Systems: Patterns and Paradigms for Scalable, Reliable Services
0