Skip to main content
Accessibility information
Contact us
Accessibility
Staff
Students
The University of Northampton
Site tools
Advanced Search
Site Map
Search
Search this site:
Site Navigation
Home
About us
Study
Research
Social enterprise
Business & community
Alumni
Login
NECTAR Home
NECTAR FAQs
Browse Publications
Advanced Search
JISC Project
Contact
Help with NECTAR
Formal Refinement for Operating System Kernels
Tools
Tools
Tools
RDF+XML
BibTeX
RDF+N-Triples
JSON
Dublin Core
Atom
Simple Metadata
Refer
METS
HTML Citation
ASCII Citation
OpenURL ContextObject
EndNote
OpenURL ContextObject in Span
MODS
MPEG-21 DIDL
EP3 XML
Reference Manager
RDF+N3
Craig, I. D.
(2007)
Formal Refinement for Operating System Kernels.
London: Springer-Verlag. 9781846289668.
Information
Creators:
Craig, I. D.
Item Type:
Book
Subjects:
Q Science > QA Mathematics > QA75 Electronic computers. Computer science > QA76.75 Computer software
Schools and Departments:
School of Applied Sciences (to 2009) > Computing and Mathematics (to 2009)
Date:
2007
Repository Staff Only:
item control page
Top
Copyright © 2010 The University of Northampton
Tools
Tools
Follow us