Fachgebiete

1 Treffer in 0.005 Sek.

On the correctness of operating system kernels [Relevanz: 100%]
Autor / Herausgeber: Gargano, Mauro; Paul, Wolfgang J. |  Verlagsort: Berlin [u.a.] |  Verlag: Springer |  Erscheinungsjahr: 2005 | 16 S.
Zeitschrift / Sammelband: Theorem proving in higher order logics
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]

Aktive Filter [Filter entfernen]

Suchergebnis einschränken

Autor / Herausgeber [Filter entfernen]

Fachgebiet

Erscheinungsjahr

Sprache