> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Vertical bisimulation Beteiligte: Rensink, Arend [VerfasserIn]; Gorrieri, Roberto [VerfasserIn] Erschienen: Hildesheim: Inst. für Informatik, 1998 Erschienen in: Hildesheimer Informatik-Berichte ; 98,9 Umfang: 57 S. Sprache: Englisch RVK-Notation: SS 4615 : Hildesheimer Informatik-Berichte Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Hildesheimer Informatik-Berichte
Bereichsbibliothek DrePunct – Magazin Signatur: 1998 4 007235 001 Barcode: 30080108 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden