> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: DAWN : Petrinetzmodelle zur Verifikation verteilter Algorithmen Beteiligte: Weber, Michael [Sonstige Person, Familie und Körperschaft] Körperschaft: Humboldt-Universität zu Berlin Erschienen: Berlin: Professoren des Inst. für Informatik, 1997 Erschienen in: Informatik-Berichte ; 8800 Umfang: 124 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 058186 001 Barcode: 10019775 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden