Formal Models of Operating System Kernels
| Autor: | Iain D. Craig |
|---|---|
| EAN: | 9781846287183 |
| eBook Format: | |
| Sprache: | Englisch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 06.03.2007 |
| Kategorie: | |
| Schlagworte: | Hardware Performance Text complexity computer data structures formal specification kernel operating system security |
149,79 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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.
Verwandte Artikel
Weitere Produkte vom selben Autor