Formal Models of Operating System Kernels [electronic resource] / by Iain D. Craig.
E-book
Electronic resources
Record details
- ISBN: 9781846287183
- Physical Description: XIII, 329 p. online resource.
- Publisher: London : Springer London, 2007.