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 |
| URI: | http://nectar.northampton.ac.uk/id/eprint/1038 |
Actions (login required)
 |
Edit Item |
Altmetric
Altmetric
Altmetric