[ Back to Record ]

  1. Bib ID# 22741
    ISBN: 9781846287183
    UPC: 10.1007/978-1-84628-718-3
    Title: Formal Models of Operating System Kernels
    Author: Craig, Iain D.
    Publication Info:
    Item Type: Language material

[ Back to Record ]