Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Formal specification using Z a modelling approach Leonardo Bottaci, John Jones by
  • Jones, John [author]
  • Bottaci, Leonardo [author]
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: London International Thomson 1995Copyright date: ©1995
Availability: Items available for loan: PERPUSTAKAAN POLITEKNIK IBRAHIM SULTAN (2)Call number: QA76.7 .B751 1995, ...

Place hold Add to cart
Software development with Z : a practical approach to formal software engineering/ J.B. Wordsworth by
  • Wordsworth, J. B
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Addison-Wesley 1992
Availability: Items available for loan: PERPUSTAKAAN POLITEKNIK IBRAHIM SULTAN (1)Call number: QA76.73. Z2. W67 1992.

Place hold Add to cart
Pages