Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Formal Models of Operating System Kernels, Iain D. Craig
- Lingua
- Pubblicato
- 2006
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.