Craig, Iain D.
Formal Refinement for Operating System Kernels
Table of contents
1. Introduction
2. The Simple Kernel's Organisation
3. A Simple Kernel
4. The Separation Kernel
5. A Separation Kernel
6. Closing Thoughts
DRM-restrictions
Printing: not available
Clipboard copying: not available
Avainsanat: COMPUTERS / Computer Science COM014000
- Tekijä(t)
- Craig, Iain D.
- Julkaisija
- Springer
- Julkaisuvuosi
- 2007
- Kieli
- en
- Painos
- 1
- Kategoria
- Tietotekniikka, tietoliikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9781846289675