Zobacz książki o podobnej tematyce

Więcej informacji o Formal Models of Operating System Kernels

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 506 punkty

Opis

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 title presents a formal specification of a kernel, starting with basic constructs and developing a set of kernels.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer science Computer architecture & logic design

• Pełny tytuł: Formal Models of Operating System Kernels
• Autor: Iain D. Craig
• Język: Angielski
• Oprawa: Twarda
• Liczba stron: 333
• EAN: 9781846283758
• ISBN: 9781846283758
• ID: 08847119
• Wydawca: Springer London Ltd
• Waga: 688 g
• Wymiary: 235 × 155 × 24 mm
• Data wydania: 14. November 2006

Ulubione w innej kategorii

---

---

---