Le livre est actuellement en rupture de stock
En savoir plus sur le livre
Focusing on a novel approach to operating systems and kernel design, this book emerges from the author's long-held ambition dating back to 1979. After initial sketches in 2001 and further development in 2005, the author created a foundational kernel presented in Chapter 3. The work emphasizes the need for clarity and a solid foundation in operating system design, while also acknowledging the importance of security in kernel reliability. The book aims to provide insights and proofs to support its innovative perspective on the subject.
Achat du livre
Formal Models of Operating System Kernels, Iain D. Craig
- Langue
- Année de publication
- 2006
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .