Your search returned 2 results.

Sort
Results
1.
Virtual Machines [electronic resource] / by Iain D. Craig. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.V5 C73 2007.

2.
Formal Refinement for Operating System Kernels [electronic resource] / by Iain D. Craig. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76 O63 C73 2007.

Pages

Powered by Koha