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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=25514844&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 25514844 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Jun2007 vid: 40 iid: 6 pid: 13605 pub: IEEE artinfo: ui: 25514844 ppf: 89 ppct: 0 formats: tig: atl: Formal Models of Operating System Kernels. aug: su: Formal Models of Operating System Kernels (Book) Craig, Iain D. Computer operating systems Nonfiction sug: subj: Formal Models of Operating System Kernels (Book) Craig, Iain D. Computer operating systems Nonfiction ab: The article reviews the book "Formal Models of Operating System Kernels," by Iain D. Craig. pubtype: Review doctype: Book Review src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2007 holdings: @attributes: islocal: N |
|---|