|
 |
|
Formal Models of Operating System Kernels
Iain D. Craig
Paperback. Springer, 2010-10-18
ISBN 9781849965927
|
|
 |
|
Formal Refinement for Operating System Kernels
Iain D. Craig
Paperback. Springer, 2010-11-05
ISBN 9781849966894
|
|
 |
|
Virtual Machine
Iain D. Craig
Paperback. Springer, 2010-11-30
ISBN 9781849969802
|
|
 |
|
Object-Oriented Programming Languages: Interpretation (Undergraduate Topics in Computer Science)
Iain D. Craig
Paperback. Springer, 2007-03-28
ISBN 9781846287732
|
|
 |
|
Object-Oriented Programming Languages: Interpretation
Iain D Craig
eBook. Springer London, 2007-07-16
ISBN 9781846287749
|
|
 |
|
Formal Refinement for Operating System Kernels
Iain D. Craig
Hardcover. Springer, 2007-08-03
ISBN 9781846289668
|
|
 |
|
Virtual Machines
Iain D. Craig
Hardcover. Springer, 2005-08-30
ISBN 9781852339692
|
|
 |
|
Formal Specification of Advanced Ai Architectures (Ellis Horwood Series in Artificial Intelligence)
Iain D. Craig
Hardcover. Ellis Horwood, Ltd., 1991-11-01
ISBN 9780133252002
|
|
 |
|
Formal Specification of Advanced AI Architectures
Iain D. Craig
Paperback. Ellis Horwood Ltd , Publisher, 1991-09-01
ISBN 9780133288322
|
|
 |
|
Formal Models of Operating System Kernels
Iain D. Craig
Hardcover. Springer,
ISBN 9781846283758
|
|
|
|
