5180066
9781846283758
The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating systems are to achieve the levels of reliability and security that is demanded of them.Craig, Iain D. is the author of 'Formal Models of Operating System Kernels ', published 2006 under ISBN 9781846283758 and ISBN 1846283752.
[read more]