> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Stochastic transition systems: bisimulation, logic, and composition Beteiligte: Gburek, Daniel [VerfasserIn] Körperschaft: Technische Universität Dresden Erschienen: Dresden, September 2018 Umfang: 252 Seiten; Diagramme Sprache: Englisch RVK-Notation: ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik Schlagwörter: Hochschulschrift Entstehung: Hochschulschrift: Dissertation, Technische Universität Dresden, 2018 Anmerkungen:
Bereichsbibliothek DrePunct – Magazin Signatur: 2019 4 001024 Barcode: 33414389 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden
Zentralbibliothek – Magazin Signatur: 2019 4 001023 Barcode: 33414388 Status: Bestellen zur Benutzung im Haus, kein Versand per Fernleihe, nur Kopienlieferung > Bestellen möglich - bitte anmelden