Posted by: kundiharto on: May 11, 2008
eBOOK Details
Publisher Springer
Release Date July 25, 2007
ISBN 1846289661
eBOOK Description
The kernel of any operating system is its most critical component. The remainder of the system depends upon a correctly functioning and reliable kernel for its operation.
The purpose of this book is to show that the formal specification of kernels can be followed by a completely [...]
Recent Comments