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.

Item Type: Book
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science > QA76.75 Computer software
Creators: Craig, Iain 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

Actions (login required)

Edit Item Edit Item