Northampton Electronic Collection of Theses and Research

Formal Refinement for Operating System Kernels

Craig, I. D. (2007) Formal Refinement for Operating System Kernels. London: Springer-Verlag. 9781846289668.

Information
Subjects:
Q Science > QA Mathematics > QA75 Electronic computers. Computer science > QA76.75 Computer software
Creators:
Craig, I. D.
Publisher:
Springer-Verlag
Faculties, Divisions and Institutes:
University Faculties, Divisions and Research Centres - OLD > School of Applied Sciences (to 2009) > Computing and Mathematics (to 2009)
Date:
2007
Date Type:
Publication
Place of Publication:
London
Number of Pages:
336
Language:
English
ISBN:
9781846289668
Status:
Published / Disseminated
Edit Item