Authors:
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 it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (7 chapters)
-
Front Matter
-
Back Matter
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