Your search returned 4 results.

1.
Object-Oriented Programming Languages: Interpretation [electronic resource] / by Iain D. Craig.

by Craig, Iain D | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: London : Springer, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.64 C73 2007 (1).

2.
Virtual Machines [electronic resource] / by Iain D. Craig.

by Craig, Iain D | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: London : Springer-Verlag London, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.V5 C73 2007 (1).

3.
Formal Models of Operating System Kernels [electronic resource] / by Iain D. Craig.

by Craig, Iain D | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: London : Springer-Verlag London Limited, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.O63 C73 2007 (1).

4.
Formal Refinement for Operating System Kernels [electronic resource] / by Iain D. Craig.

by Craig, Iain D | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: London : Springer-Verlag London Limited, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76 O63 C73 2007 (1).

Powered by Koha