gogo

Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
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, ...
Place hold Place recall Add to cart
Software development with Z : a practical approach to formal methods in software engineering / J.B. Wordsworth. 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., 1992
Availability: Items available for loan: Carlow Campus Library (1)Call number: 005.12.
Place hold Place recall Add to cart
Pages

Powered by Koha