Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=112350380X



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/112350380X
Art des Inhalts Hochschulschrift
Titel A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance / Gidon Ernst ; Betreuer: Wolfgang Reif
Person(en) Ernst, Gidon (Verfasser)
Reif, Wolfgang (Akademischer Betreuer)
Verlag Augsburg : Universität Augsburg
Zeitliche Einordnung Erscheinungsdatum: 2017
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, Augsburg, Universität Augsburg, 2016
Persistent Identifier URN: urn:nbn:de:bvb:384-opus4-38873
URL http://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/3887 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Flash-Speicher ; Dateisystem ; Systemzusammenbruch ; Stromausfall ; Formale Spezifikationstechnik ; Verifikation ; Schrittweise Verfeinerung
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration