Your search returned 3 results.

Sort
Results
1.
Mathematical Approaches to Software Quality [electronic resource] / by Gerard O'Regan. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.Q35 O74 2006.

2.
Formal Models of 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.

3.
Validated Designs for Object-oriented Systems [electronic resource] / by John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.O35 F58 2005.

Pages

Powered by Koha