Formal Models of Operating System Kernels
by Iain D. Craig
ISBN 13: 9781846283758
Format: Hardcover (338 pages) Publisher: Springer Published: 13 Dec 2006
Save for later