> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Property preserving transition refinement with concurrent runs Beteiligte: Peuker, Sybille [Verfasser:in]; Peuker, Sibylle [Sonstige Person, Familie und Körperschaft] Erschienen: Berlin: Inst. für Informatik, 2000 Erschienen in: Informatik-Berichte ; 13900 Umfang: 27 S Sprache: Englisch RVK-Notation: SS 5530 : Universität Berlin, Humboldt-Universität: Informatikberichte Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Informatik-Berichte
Bereichsbibliothek DrePunct – Magazin Signatur: 2001 4 009687 001 Barcode: 30082728 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung