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