Search Results

Suggested Topics within your search.
  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Z guide for beginners

    Z guide for beginners by McMorran, Mike

    Published 1993
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    The way of z practical programming with formal methods

    The way of z practical programming with formal methods by Jacky, Jonathan

    Published 1997
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    An introduction to formal specification and Z

    An introduction to formal specification and Z by Potter, Ben

    Published 1996
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    Introducing specification using Z a practical case study approach

    Introducing specification using Z a practical case study approach by Ratcliff, Bryan

    Published 1994
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  5. 5
    An Introduction to formal specification with Z and VDM

    An Introduction to formal specification with Z and VDM by Sheppard, Deri

    Published 1995
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  6. 6
    Software development with Z a practical approach to formal methods in software engineering

    Software development with Z a practical approach to formal methods in software engineering by Wordsworth, John

    Published 1995
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  7. 7
    Refinement in 2 and object - 2 : foundations and advanced applications

    Refinement in 2 and object - 2 : foundations and advanced applications by Derrick, John, 1963-

    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  8. 8
    Pemodelan perisian menggunakan Z

    Pemodelan perisian menggunakan Z by Zarina Shukur

    Published 2005
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  9. 9
    Z User Meeting proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990, Oxford

    Z User Meeting proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990, Oxford

    Published 1991
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: