Sisäänkirjautuminen

Craig, Iain D.

Formal Refinement for Operating System Kernels

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

76,95€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9781846289675
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

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

Avainsanat: COMPUTERS / Computer Science COM014000

Tekijä(t)
Julkaisija
Springer
Julkaisuvuosi
2007
Kieli
en
Painos
1
Kategoria
Tietotekniikka, tietoliikenne
Tiedostomuoto
E-kirja
eISBN (PDF)
9781846289675

Samankaltaisia e-kirjoja