Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude /

• Κύριος συγγραφέας: Ölveczky, Peter Csaba (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2017.
• Σειρά: Undergraduate Topics in Computer Science,
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Mathematical logic.; Computer simulation.; Computer Science.; Software Engineering.; Simulation and Modeling.; Mathematical Logic and Formal Languages.; Computer Communication Networks.

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 and simulation and model checking tool, which offers a simple and intuitive modeling formalism that i...