Formal models of operating system kernels /

57

Sonraí bibleagrafaíochta
Príomhchruthaitheoir: 275605 Craig, Iain D.
Formáid:
Teanga:eng
Foilsithe / Cruthaithe: London : Springer-Verlag, 2007
Ábhair:
Rochtain ar líne:http://dx.doi.org/10.1007/978-1-84628-718-3