Visar Inbunden Bok · Visa alla
Visa slutsålda utgivelser

Releases med Iain D. Craig

28 september 2005 – 31 juli 2007

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

Formal Refinement for Operating ... (2007)

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

Formal Models of Operating Syste... (2006)

Cover for Iain D. Craig · Virtual Machines (Inbunden Bok) (2005)

Virtual Machines (2005)