D.C. · I.C. · I. Craig · I.D. · Iain Craig
Prentice Hall · Springer · Springer Berlin Heidelberg
| title | media type | ISBN-13 | year of publica- tion | |
|---|---|---|---|---|
| Formal Models of Operating System Kernels | Hardcover | 978-1-84628-375-8 | 2006 | |
| 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 | |
| Virtual Machines | Paperback | 978-1-84996-980-2 | 2011 | |
| Virtual Machines | Hardcover | 978-1-85233-969-2 | 2005 |