Designing Reliable Distributed Systems
Subtitle: A Formal Methods Approach Based on Executable Modeling in Maude
Publisher: Springer London, Limited
Published: 2018
Language: eng
ISBN-13: 9781447166870
Subjects: Electronic data processing, distributed processing