Northampton Electronic Collection of Theses and Research

Browse by University of Northampton Authors

Group by: Item Type | Date

Jump to: 2007

Number of items: 2.

2007

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.

This list was generated from NECTAR on Fri Feb 28 14:06:45 2025 GMT.

Export as	Atom RSS 1.0 RSS 2.0