Northampton Electronic Collection of Theses and Research

Browse by University of Northampton Authors

[up] Up a level
Group by: Item Type | Date
Jump to: Book
Number of items: 2.

Book

  1. Craig, I. D. (2007) Formal Refinement for Operating System Kernels. London: Springer-Verlag. 9781846289668.
  2. Craig, I. D. (2007) Object-oriented Programming Languages: Interpretation. London: Springer-Verlag. 9781846287732.
This list was generated from NECTAR on Wed Sep 17 18:17:43 2025 BST.