by Iain D. Craig
No reviews yet. Be the first!
Formal Models of Operating System Kernel...
Formal Refinement for Operating System K...
Object-Oriented Programming Languages
Virtual Machines
Programming in Dylan
Formal Specification of Advanced Ai Arch...