Afficher Hardcover Book · Afficher tout
Montrer les articles indisponibles

Communiqués par Iain D. Craig

28 septembre 2005 – 31 juillet 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)