Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Cover image
An Introduction to Z by
  • Imperato, Michael [author]
Material type: Text Text
Language: English
Publication details: Bromley, Kent : Chartwell-Bratt, c1991
Online access:
Availability: Items available for loan: Circulation Section (1)Location, call number: Circulation Section 005.1 IMP.
Cover image
Software Development with Z a Practical Approach to Formal Methods in Software Engineering by
  • Wordsworth, J. B [author]
Series: International Computer Science Series
Material type: Text Text
Language: English
Publication details: Harlow : Addison-Wesley, c1992
Online access:
Availability: Items available for loan: Circulation Section (1)Location, call number: Circulation Section 005.12 WOR.
Cover image
Z An Introduction to Formal Methods by
  • Diller, Antoni [author]
Edition: 2nd
Material type: Text Text
Language: English
Publication details: Chichester : John Wiley, c1994
Online access:
Availability: Items available for loan: Circulation Section (1)Location, call number: Circulation Section 005.12 DIL.
Cover image
The Way of Z Practical Programming with Formal Methods by
  • Jacky, Jonathan [author]
Material type: Text Text
Language: English
Publication details: Cambridge : Cambridge University Press, c1997
Online access:
Availability: Items available for loan: Circulation Section (1)Location, call number: Circulation Section 005.12 JAC.
Pages