Search Results - "Z (Computer program language)"

Suggested Topics within your search.
  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    An introduction to formal specification and Z

    An introduction to formal specification and Z by Potter, Ben, Sinclair, Jane, Till, David

    Published 1996
    Subjects:
  2. 2
    Z an introduction to formal methods

    Z an introduction to formal methods by Diller, Antoni

    Published 1994
    Subjects:
    Table of Contents
  3. 3
    Formal object-oriented specification using object-Z

    Formal object-oriented specification using object-Z by Duke, Roger, Rose, Gordon

    Published 2000
    Subjects:
  4. 4
    Formal specification using Z

    Formal specification using Z by Lightfoot, David 1951-

    Published 2001
    Subjects:

Search Tools: