Formal Models of Operating System Kernels المزيد من كتب Iain D. Craig

Object-Oriented Programming Languages: Interpretation Object-Oriented Programming Languages: Interpretation
٢٠٠٧
Virtual Machines Virtual Machines
٢٠١٠
Formal Refinement for Operating System Kernels Formal Refinement for Operating System Kernels
٢٠٠٧