Bei epubli können Sie das Dokument Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen von Sibylle Peuker einfach als Buch nach ihren Vorgaben erstellen und drucken.
Testbetrieb