> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen : eine Vorstudie Beteiligte: Baar, Thomas [VerfasserIn]; Kindler, Ekkart [VerfasserIn] Erschienen: Berlin: Professoren des Inst. für Informatik, 1998 Erschienen in: Informatik-Berichte ; 9900 Umfang: 10 S; graph. Darst; 30 cm Sprache: Deutsch RVK-Notation: SS 5530 : Universität Berlin, Humboldt-Universität: Informatikberichte Schlagwörter: Forschungsbericht Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Informatik-Berichte
Bereichsbibliothek DrePunct – Magazin Signatur: 1997 4 067429 001 Barcode: 30443334 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden