Title Formal models of operating systems kernels / Iain D. Craig

Published New York ; London : Springer, [2007] ©2007

Copies

Location	Call no.	Vol.	Availability
W'PONDS	005.42 Cra/Fmo		AVAILABLE

Description xi, 333 pages ; 25 cm Bibliography Includes bibliographical references and index Subject Operating systems (Computers) ISBN 9781846283758 hardback 1846283752 hardback

  Permalink