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
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (7 chapters)
Keywords
About this book
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