Formal Models of operating System kernels/ Lain D. Craig
Material type: TextPublisher: New York (State) : Springer-verlong 2007Description: 333 páginasISBN: 1846283752Subject(s): Sistemas operativosDDC classification: 005.43
Contents:
Action note: Verificado 01-09-2021
Introduction 2.Standar and generic components 3.A simple kernel 4.A swappiing kernel 5.using messaes in the swapping kernel 6.virtual storage 7.Final remarks
Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros/ General | Biblioteca Central Euclides Jaramillo Arango GENERAL | Papel | 005.43 C886 (Browse shelf) | Ej. 1 | Available | 050599 |
Browsing Biblioteca Central Euclides Jaramillo Arango shelves, Shelving location: GENERAL, Collection: Papel Close shelf browser
Introduction 2.Standar and generic components 3.A simple kernel 4.A swappiing kernel 5.using messaes in the swapping kernel 6.virtual storage 7.Final remarks
Verificado 01-09-2021
There are no comments on this title.