> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: The VFiasco approach for a verified operating system : VFiasco project Beteiligte: Hohmuth, Michael [VerfasserIn]; Tews, Hendrik [Sonstige Person, Familie und Körperschaft] Erschienen: Dresden: Techn. Univ., Fakultät Informatik, 2005 Erschienen in: Technische Universität Dresden: Technische Berichte ; 2005,15 Umfang: 6 S. Sprache: Englisch RVK-Notation: SS 5514 : Technische Universität Dresden: Fakultät Informatik: Technische Berichte Schlagwörter: Forschungsbericht Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Technische Berichte
Bereichsbibliothek DrePunct – Magazin Signatur: R2017 4 208 Barcode: 30838190 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden
Zentralbibliothek – Magazin Signatur: 2006 4 001952 Barcode: 31541580 Status: Bestellen zur Benutzung im Haus, kein Versand per Fernleihe, nur Kopienlieferung > Bestellen möglich - bitte anmelden