设计可靠的分布式系统：基于 Maude 可执行建模的形式化方法 电子书下载

原名: Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
作品简介:这本经过课堂测试的教科书提供了对分布式计算机系统的设计、形式建模和分析的简单易懂的介绍。本书使用Maude，一种基于重写逻辑的语言以及仿真和模型检查工具，它提供了一种简单直观的建模形式主义，……