Designing Reliable Distributed Systems
Subtitle: A Formal Methods Approach Based on Executable Modeling in Maude
Publisher: Springer
Published: Feb 22, 2018
Format: paperback
Number of pages: 331
ISBN-13: 9781447166863
Notes: Source title: Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)