Formal Techniques for Distributed Objects, Components, and Systems
53.49 EUR
Ein Leitfaden für formale Methoden in verteilten Systemen, der komplexe Konzepte wie Objektorientierung, Komponentenarchitektur und Synchronisation klar erklärt und praktische Anwendungsbeispiele bietet.