Craig, Iain D.
Formal Models of Operating System Kernels
Table of contents
1. Introduction
2. Standard and Generic Components
3. A Simple Kernel
4. A Swapping Kernel
5. Using Messages in the Swapping Kernel
6. Virtual Storage
7. Final Remarks
DRM-restrictions
Printing: not available
Clipboard copying: not available
Nyckelord: COMPUTERS / Computer Science COM014000
- Författare
- Craig, Iain D.
- Utgivare
- Springer
- Utgivningsår
- 2007
- Språk
- en
- Utgåva
- 1
- Kategori
- Datateknik, Datakommunikation
- Format
- E-bok
- eISBN (PDF)
- 9781846287183