Formal models of operating system kernels

Dades bibliogràfiques
Autor principal: Craig, Iain D.
Format: Llibre
Idioma:English
Publicat: London Springer c2007.
Matèries: