1. Formal object-oriented specification using Object-Z

by Duke, Roger | Rose, Gordon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Basingstoke: MacMillan, 2000Availability: Items available for loan: [Call number: 005.117 DUK] (1).
2. Fun of programming

by Moor, Oege | Gibbons, Jeremy.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Palgrave Macmillan, 2003Availability: Items available for loan: [Call number: 005.114 GIB] (1).

Powered by Koha