Login

Craig, Iain D.

Formal Refinement for Operating System Kernels

Craig, Iain D. - Formal Refinement for Operating System Kernels, ebook

86,80€

Ebook, PDF with Adobe DRM
ISBN: 9781846289675
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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

Keywords: COMPUTERS / Computer Science COM014000

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

Similar titles