Formal Refinement for Operating System Kernels [electronic resource] /
57
| Main Authors: | , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
London : Springer-Verlag London Ltd,
2007
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-1-84628-967-5 |
| _version_ | 1826434974314659840 |
|---|---|
| author | 275605 Craig, Iain D. SpringerLink (Online service) |
| author_facet | 275605 Craig, Iain D. SpringerLink (Online service) |
| author_sort | 275605 Craig, Iain D. |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-05T08:08:41Z |
| format | |
| id | KOHA-OAI-TEST:392948 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T08:08:41Z |
| publishDate | 2007 |
| publisher | London : Springer-Verlag London Ltd, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:3929482020-12-19T17:13:43ZFormal Refinement for Operating System Kernels [electronic resource] / 275605 Craig, Iain D. SpringerLink (Online service) e-books London : Springer-Verlag London Ltd,2007.eng575859PSZJBLOperating systems (Computers)http://dx.doi.org/10.1007/978-1-84628-967-5URN:ISBN:9781846289675 (electronic bk.)Remote access restricted to users with a valid UTM ID via VPN |
| spellingShingle | Operating systems (Computers) 275605 Craig, Iain D. SpringerLink (Online service) Formal Refinement for Operating System Kernels [electronic resource] / |
| title | Formal Refinement for Operating System Kernels [electronic resource] / |
| title_full | Formal Refinement for Operating System Kernels [electronic resource] / |
| title_fullStr | Formal Refinement for Operating System Kernels [electronic resource] / |
| title_full_unstemmed | Formal Refinement for Operating System Kernels [electronic resource] / |
| title_short | Formal Refinement for Operating System Kernels [electronic resource] / |
| title_sort | formal refinement for operating system kernels electronic resource |
| topic | Operating systems (Computers) |
| url | http://dx.doi.org/10.1007/978-1-84628-967-5 |
| work_keys_str_mv | AT 275605craigiaind formalrefinementforoperatingsystemkernelselectronicresource AT springerlinkonlineservice formalrefinementforoperatingsystemkernelselectronicresource |