Iain D. Craig

No biography available.

Works (4)

Cover of Virtual Machines

Virtual Machines

Cover of Object-Oriented Programming Languages

Object-Oriented Programming Languages

Cover of Formal Specification of Advanced Ai Architectures

Formal Specification of Advanced Ai Architectures

Cover of Formal Refinement for Operating System Kernels

Formal Refinement for Operating System Kernels