Formal Models of Operating System Kernels Mais livros de Iain D. Craig

Object-Oriented Programming Languages: Interpretation Object-Oriented Programming Languages: Interpretation
Object-Oriented Programming Languages: Interpretation
2007
Virtual Machines Virtual Machines
Virtual Machines
2010
Formal Refinement for Operating System Kernels Formal Refinement for Operating System Kernels
Formal Refinement for Operating System Kernels
2007