Authors:
Contains the formal refinement of two small kernels
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 (6 chapters)
-
Front Matter
-
Back Matter
About this book
Bibliographic Information
Book Title: Formal Refinement for Operating System Kernels
Authors: Iain D. Craig
DOI: https://doi.org/10.1007/978-1-84628-967-5
Publisher: Springer London
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag London 2007
Hardcover ISBN: 978-1-84628-966-8Published: 31 July 2007
Softcover ISBN: 978-1-84996-689-4Published: 13 October 2010
eBook ISBN: 978-1-84628-967-5Published: 18 July 2007
Edition Number: 1
Number of Pages: XV, 332
Topics: Software Engineering/Programming and Operating Systems