Search Results

Suggested Topics within your search.
  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Formal object-oriented specification using object-Z

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

    Published 2000
  2. 2
    Formal specification using Z

    Formal specification using Z by Lightfoot, David 1951-

    Published 2001
  3. 3
    Z an introduction to formal methods

    Z an introduction to formal methods by Diller, Antoni

    Published 1994
    Table of Contents
  4. 4
    An introduction to formal specification and Z

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

    Published 1996

Search Tools: