Hardcover Book Paperback Book
Show unavailable items

Releases by Iain D. Craig

Cover for Iain D. Craig · Virtual Machines (Paperback Book) (2013)

Virtual Machines (2013)

Cover for Iain D. Craig · Formal Refinement for Operating System Kernels (Paperback Book) [Softcover reprint of hardcover 1st ed. 2007 edition] (2010)

Softcover reprint of hardcover 1st ed. 2007 edition

Formal Refinement for Operating ... (2010)

Cover for Iain D. Craig · Formal Models of Operating System Kernels (Paperback Book) [Softcover reprint of hardcover 1st ed. 2007 edition] (2010)

Softcover reprint of hardcover 1st ed. 2007 edition

Formal Models of Operating Syste... (2010)

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 · Object-oriented Programming Languages: Interpretation - Undergraduate Topics in Computer Science (Paperback Book) (2007)

Object-oriented Programming Lang... (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)

Cover for Iain D. Craig · The Interpretation of Object-oriented Programming Languages (Paperback Book) [2nd Ed. 2002 edition] (2001)

2nd Ed. 2002 edition

The Interpretation of Object-ori... (2001)

Cover for Iain D. Craig · Programming in Dylan (Paperback Book) [Softcover reprint of the original 1st ed. 1997 edition] (1996)

Softcover reprint of the original 1st ed. 1997 edition

Programming in Dylan (1996)