Viser Hardcover bog · Vis alle
Vis udgåede udgivelser

Udgivelser med Iain D. Craig

28. september 2005 – 31. juli 2007

Cover for Iain D. Craig · Formal Refinement for Operating System Kernels (Hardcover bog) [2007 edition] (2007)

Formal Refinement for Operating ... (2007)

Cover for Iain D. Craig · Formal Models of Operating System Kernels (Hardcover bog) [2007 edition] (2006)

Formal Models of Operating Syste... (2006)

Cover for Iain D. Craig · Virtual Machines (Hardcover bog) (2005)

Virtual Machines (2005)