Craig, Iain D.

Formal models of operating systems kernels - London: Springer, 2007 - xi, 333 p.; ill., index: 24 cm.

9781846283758 (hbk)


Operating systems (Computers)
Swapping Kernel
Virtual storage

005.42 / CRA

Powered by Koha