Home / Authors / Iain D. Craig

Books by Iain D. Craig

All books by this author

8 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
Object-Oriented Programming Languages: Interpretation (Undergraduate Topics in Computer Science)
Object-Oriented Programming Languages: Interpretation (Unde…
By: Iain D. Craig
View Details