Overview
- First book to provide formal specifications for kernels
- Clear descriptions of how kernels are central to the functioning of computers, with particular reference to the security and reliability of the operating system
- Takes a prescriptive rather than the usual descriptive approach
Buy print copy
About this book
Similar content being viewed by others
Keywords
Table of contents (7 chapters)
Bibliographic Information
Book Title: Formal Models of Operating System Kernels
Authors: Iain D. Craig
DOI: https://doi.org/10.1007/978-1-84628-718-3
Publisher: Springer London
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag London 2007
Hardcover ISBN: 978-1-84628-375-8Published: 13 December 2006
Softcover ISBN: 978-1-84996-592-7Published: 13 October 2010
eBook ISBN: 978-1-84628-718-3Published: 06 March 2007
Edition Number: 1
Number of Pages: XIII, 333
Topics: Computer System Implementation, Operating Systems, Software Engineering, Discrete Mathematics in Computer Science, Math Applications in Computer Science