Home / Authors / Iain D. Craig

Books by Iain D. Craig

All books by this author

7 books found
Formal Models of Operating System Kernels
Formal Models of Operating System Kernels
By: Iain D. Craig
View Details
Formal Refinement for Operating System Kernels
Formal Refinement for Operating System Kernels
By: Iain D. Craig
View Details
Virtual Machines
Virtual Machines
By: Iain D. Craig
View Details
Virtual Machines
Virtual Machines
By: Iain D. Craig
View Details
Programming in Dylan
Programming in Dylan
By: Iain D. Craig
View Details
Formal Models of Operating System Kernels
Formal Models of Operating System Kernels
By: Iain D. Craig
View Details
Formal Refinement for Operating System Kernels
Formal Refinement for Operating System Kernels
By: Iain D. Craig
View Details