Iain D. Craig | Formal Models Of Operating System Kernels | Buch |

Formal Models of Operating System Kernels, Fachbücher von Iain D. Craig

Formal Refinement for Operating System Kernels, Fachbücher von Iain D. Craig

Formal Refinement For Operating System Kernels 8315

Iain D. Craig | Virtual Machines | Buch | Englisch (2005) | Xv |

Iain D. Craig | Object-oriented Programming Languages: Interpretation

Operating System | Buch | 9783738626131

Operating System Forensics

The Tech Executive Operating System Creating An R&d Organization That

Sunil D. Sherlekar (u. A.) | Vlsi Synthesis Of Dsp Kernels | Buch |

Donald E Weiner Upgrading The Operating System Of The Soul

Formal Verification Of Control System Software (princeton Series In

Formal Models In The Study Of Language Applications In

Operating System 5105

Principles Of Computer System Architectures, Operating Systems And

Active Vision The Psychology Of Looking And Seeing Iain D. Gilchrist