| title | media type | ISBN-13 | year of publication | |
|---|---|---|---|---|
| Formal Models of Operating System Kernels | Hardcover | 978-1-84628-375-8 | 2006 | |
| Formal Specification of Advanced Ai Architectures | " | 978-0-13-325200-2 | 1991 | |
| Formal Specification of Advanced AI Architectures | Paperback | 978-0-13-328832-2 | 1991 | |
| Object-Oriented Programming Languages: Interpretation | " | 978-1-84628-773-2 | 2007 | |
| Programming in Dylan | Taschenbuch | 978-3-540-76053-5 | 1997 | |
| The Cassandra Architecture: Distributed Control in a Blackboard System | Textbook Binding | 978-0-13-116559-5 | 1989 | |
| Virtual Machines | Paperback | 978-1-84996-980-2 | 2014 | |
| Virtual Machines | Hardcover | 978-1-85233-969-2 | 2005 |
D.C. · I.C. · I. Craig · I.D. · Iain Craig · Iain D. D. Craig · Iain David Craig