Formal models of operating system kernels /
Craig, I.
Formal models of operating system kernels / Iain D. Craig - New York : Springer, 2006 - xi, 333 p. : ill. ; 24 cm.
References : p. [319]-320
1846283752 RM322.02
Operating systems (Computers)
Formal models of operating system kernels / Iain D. Craig - New York : Springer, 2006 - xi, 333 p. : ill. ; 24 cm.
References : p. [319]-320
1846283752 RM322.02
Operating systems (Computers)
