Showing 1 - 5 results of 5 for search '', query time: 0.02s Refine Results
  1. 1

    Software development with Z : a practical approach to formal methods of software engineering / by Wordsworth, J. B.

    Published 1992
    Book
  2. 2

    Z : an introduction to formal methods / by Diller, Antoni

    Published 1999
    Book
  3. 3

    Understanding Z : a specification language and its formal semantics / by Spivey, J. Michael

    Published 1992
    Book
  4. 4

    An introduction to formal specification and Z / by Potter, Ben

    Published 1996
    Book
  5. 5

    Using Z : specification, refinement and proof / by Woodwock, Jim

    Published 1996
    Book