Formal models of operating system kernels

Código QR (código de barras bidimensional)

Formal models of operating system kernels

Detalhes bibliográficos
Autor principal:	Craig, Iain D.
Formato:	Livro
Idioma:	English
Publicado em:	London Springer c2007.
Assuntos:	Operating systems (Computers)

TUKLAS: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman