Showing Hardcover Book · Show all
Show unavailable items

Releases by Iain D. Craig

September 28, 2005 – July 31, 2007

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

Formal Refinement for Operating ... (2007)

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

Formal Models of Operating Syste... (2006)

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

Virtual Machines (2005)