Kirstin Peters Formal Techniques for Distributed Objects, Components, and Systems - Springer Nature 2021 - Lecture Notes in Computer Science . One time purchase [Perpetual access] ISSN: 9783030780890 Subjects--Topical Terms: Computer Science