Formal models of operating system kernels

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Craig, Iain D.
Formáid:	LEABHAR
Teanga:	Béarla
Foilsithe / Cruthaithe:	London Springer c2007.
Ábhair:	Operating systems (Computers)