Showing 1 - 5 results of 5 for search 'Craig, Iain D.', query time: 0.02s Refine Results
  1. 1
    Object-Oriented Programming Languages: Interpretation
    by Craig, Iain D.
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Formal Refinement for Operating System Kernels
    by Craig, Iain D.
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Virtual Machines
    by Craig, Iain D.
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Formal Models of Operating System Kernels
    by Craig, Iain D.
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Formal Models of Operating System Kernels
    by Craig, Iain D.
    Published 2007
    Get full text
    Electronic Kit Book
Search Tools: RSS Feed – Email Search