Formal Models of Operating System Kernels.
The article reviews the book "Formal Models of Operating System Kernels," by Iain D. Craig.
| Publicado en: | Computer (00189162) Vol. 40; no. 6; p. 89 |
|---|---|
| Formato: | Book Review |
| Publicado: |
IEEE
Jun2007
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |