Object-Oriented Programming Languages: Interpretation المزيد من كتب Iain D. Craig

Virtual Machines Virtual Machines
Virtual Machines
٢٠١٠
Formal Refinement for Operating System Kernels Formal Refinement for Operating System Kernels
Formal Refinement for Operating System Kernels
٢٠٠٧
Formal Models of Operating System Kernels Formal Models of Operating System Kernels
Formal Models of Operating System Kernels
٢٠٠٧