Logische und Methodische Grundlagen der Entwicklung verteilter Systeme : Unter Mitarbeit von Alexander Malkis - Broy, Manfred (Verfasser) (Springer Berlin Heidelberg, 2023)