 | Up a level |
Group by: Item Type | Date
Jump to: Book
Number of items: 2.
Book
- Craig, I. D. (2007) Formal Refinement for Operating System Kernels. London: Springer-Verlag. 9781846289668.
- Craig, I. D. (2007) Object-oriented Programming Languages: Interpretation. London: Springer-Verlag. 9781846287732.