Formal models of operating system kernels

Bibliographic Details
Main Author:	Craig, Iain D.
Format:	Book
Language:	English
Published:	London Springer c2007.
Subjects:	Operating systems (Computers)

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