PakCat catalogue record Introduction to operating system design and implementation the OSP 2 approach By Kifer, M. Bibliographic details ISBN1846288428 PublisherSpringer Publication placeLondon Publication year2007 LanguageEnglish Physical descriptionxii, 172 p. Additional authorsSmolka, Scott A. SubjectsOperating systems (Computers)