Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)
Explains formal methods and executable modeling in Maude for specifying and analyzing reliable distributed systems in an academic setting.
About This Book
This book introduces formal methods for designing reliable distributed systems.
It focuses on executable modeling using the Maude language and toolset.
Readers learn techniques to specify, simulate, and analyze distributed systems.
The text is part of the Undergraduate Topics in Computer Science series.
Content is suitable for students and practitioners interested in formal approaches.
Reviews
No reviews yet. Be the first to review this book!