Login

Craig, Iain D.

Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

83,00€

PDF with Adobe DRM
ISBN: 9781846287183
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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

Keywords: COMPUTERS / Computer Science COM014000

Author(s)
Publisher
Springer
Publication year
2007
Language
en
Edition
1
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9781846287183

Similar titles