gogo

Refine your search

Your search returned 79 results.

Sort
Results
Program verification / Francez Nissim. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Wokingham, Eng. ; Reading, Mass. : Addison-Wesley Pub. Co., c1992
Availability: Items available for loan: Carlow Campus Library (1)Call number: 005.14.
Principles of object-oriented software development / Anton Eliëns. by Series: International computer science series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Wokingham, England : Reading, Mass. : Addison-Wesley Pub. Co., c1995
Availability: Items available for loan: Carlow Campus Library (1)Call number: 005.11.
An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till. by Series: Prentice-Hall international series in computer science
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London ; New York : Prentice Hall, 1996
Availability: Items available for loan: Carlow Campus Library (2)Call number: 005.12, ...
UML toolkit / Hans-Erik Eriksson, Magnus Penker. by
Material type: Text Text; Format: print optical disc; Literary form: Not fiction
Publication details: New York : Wiley, c1998
Availability: Items available for loan: Carlow Campus Library (4)Call number: 005.117, ...
Pages

Powered by Koha