Koha online

1.
Program construction and verification

by Backhouse, Roland C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Englewood: Prentice Hall, 1986Availability: Items available for loan: [Call number: 005 BAC] (1).
Place hold
2.
Software engineering mathematics : formal methods demystified

by Loomes, Martin | Woodcock, Jim.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Taylor & Francis, 1988Availability: Items available for loan: [Call number: 005.13119 WOO] (1).
Place hold
3.
Linux kernel development

by Love, Robert.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Delhi: Pearson Education, 2004Availability: Items available for reference: [Call number: 005.4469 LOV] (1).

Powered by Koha