Overview
Contains the formal refinement of two small kernels
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (6 chapters)
Keywords
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