Formal models of operating systems kernels
By: Craig, Iain D.
Material type:
BookPublisher: London: Springer, 2007Description: xi, 333 p.; ill., index: 24 cm.ISBN: 9781846283758 .Subject(s): Operating systems (Computers) | Swapping Kernel | Virtual storageDDC classification: 005.42
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.42 CRA (Browse shelf) | Available | 015207 |
Browsing DAIICT Shelves Close shelf browser
| 005.42 BEC System Software | 005.42 BEC System Software | 005.42 CHA System software | 005.42 CRA Formal models of operating systems kernels | 005.42 CRA Formal refinement for operating system kernels | 005.42 DHA Systems Programming and Operating Systems | 005.42 DHA Systems Programming and Operating Systems |
There are no comments for this item.