Formal Models of Operating System Kernels
(Sprache: Englisch)
Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach - presenting a formal specification...
Leider schon ausverkauft
versandkostenfrei
Buch
142.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Formal Models of Operating System Kernels “
Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach - presenting a formal specification of a kernel - starts with basic constructs and develops a set of kernels; proofs are included as part of the text.
Klappentext zu „Formal Models of Operating System Kernels “
Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach presenting a formal specification of a kernel starts with basic constructs and develops a set of kernels; proofs are included as part of the text. Inhaltsverzeichnis zu „Formal Models of Operating System Kernels “
Introduction.- Standard and Generic Components.- A Simple Kernel.- A Swapping Kernel.- Using Messages in the Swapping Kernel.- Virtual Storage.- Final Remarks.- References.- List of Definitions.- Index.Bibliographische Angaben
- Autor: Iain D. Craig
- 2007, 338 Seiten, 11 Schwarz-Weiß-Abbildungen, Maße: 16 x 24,1 cm, Gebunden, Englisch
- Verlag: Springer
- ISBN-10: 1846283752
- ISBN-13: 9781846283758
- Erscheinungsdatum: 13.12.2006
Sprache:
Englisch
Kommentar zu "Formal Models of Operating System Kernels"
Schreiben Sie einen Kommentar zu "Formal Models of Operating System Kernels".
Kommentar verfassen