Mohlo by sa vám tiež páčiť

Viac informácií o knihe Formal Models of Operating System Kernels

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 530 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Computer architecture & logic design

• Celý názov: Formal Models of Operating System Kernels
• Autor: Iain D. Craig
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 333
• EAN: 9781846283758
• ISBN: 9781846283758
• ID: 08847119
• Nakladateľ: Springer London Ltd
• Hmotnosť: 688 g
• Rozmery: 235 × 155 × 24 mm
• Dátum vydania: 14. November 2006

Obľúbené z iného súdka

---

---

---