简介
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
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%