Craig, Iain D.
Craig, Iain.
Craig, Iain D. (Iain David)
Craig, I.
VIAF ID: 46840129 ( Personal )
Permalink: http://viaf.org/viaf/46840129
Preferred Forms
- 100 1 _ ‡a Craig, I.
-
- 100 1 _ ‡a Craig, Iain
- 100 1 _ ‡a Craig, Iain
-
-
-
- 100 1 _ ‡a Craig, Iain D.
-
- 100 1 _ ‡a Craig, Iain D. ‡q (Iain David)
-
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Blackboard systems | |
The Cassandra architecture, 1989: | |
Formal refinement for operating system kernels | |
Formal specification of advanced problem solving architectures, 1990: | |
The interpretation of object-oriented programming languages | |
The logic of induction, 1988: | |
Logika indukcji. | |
The mathematics of petri nets | |
Middleware and enterprise application integration : the architecture of e-Business solutions | |
Programming in Dylan | |
Vesuvius : modular reflection and messages | |
Virtual machines |