Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)
Designing Reliable Distributed Systems presents an undergraduate-focused approach to distributed system design using formal methods and executable modeling in Maude. It connects reliability concerns with rigorous system models, providing a foundation for students and readers interested in distributed computing, software engineering, and formal verification.
About This Book
This book introduces the design of reliable distributed systems through a formal methods approach.
It focuses on executable modeling in Maude, connecting system design with models that can be formally explored and analyzed.
Written for undergraduate study, the book brings together distributed systems, formal methods, and practical modeling concepts.
It offers a structured foundation for readers seeking to understand reliability-oriented approaches to computer system design.
Reviews
No reviews yet. Be the first to review this book!