Exzellenzportal der Leibnizpreisträger der Deutschen Forschungsgemeinschaft
Startseite
Suche
Projekt
Teilnehmende Preisträger
Partner
Fachgebiete
Kontakt
Hilfe
Impressum
Datenschutzerklärung
Barrierefreiheit
A
A
A
Zurück zum Suchergebnis
Suche in der Publikation
On the correctness of operating system kernels
Autor / Herausgeber
: Gargano, Mauro ; Paul, Wolfgang J.
Verlagsort
: Berlin [u.a.] |
Erscheinungsjahr
: 2005 |
Verlag
: Springer
Signatur
: Bibliothek der TU München 0102/DAT 001z 2001 A 999-3603#S.1-16
[Suche in der Publikation]
[PDF-Download]
50%
100%
150%
-10
-5
-1
Scan
+1
+5
+10
50%
100%
150%
-10
-5
-1
Scan
+1
+5
+10