Formal Refinement for Operating System Kernels Plus de livres par Iain D. Craig

Virtual Machines Virtual Machines
Virtual Machines
2010
Formal Models of Operating System Kernels Formal Models of Operating System Kernels
Formal Models of Operating System Kernels
2007
Object-Oriented Programming Languages: Interpretation Object-Oriented Programming Languages: Interpretation
Object-Oriented Programming Languages: Interpretation
2007