Suggested Topics within your search.
Showing 1 - 9 results of 9 for search '"Z (Computer program language)."', query time: 0.03s Refine Results
  1. 1
    The essence of Z
    by Currie, Ed
    Published 1999
    Subjects: “…Z (Computer program language) 51499…”
    Book
    Save to List
    Saved in:
  2. 2
    Using Z specification, refinement, and proof
    by Woodcock, Jim
    Published 1996
    Subjects: “…Z (Computer program language) 51499…”
    Book
    Save to List
    Saved in:
  3. 3
    The essence of Z
    by Currie, Ed
    Published 1999
    Subjects: “…Z (Computer program language) 51499…”
    Book
    Save to List
    Saved in:
  4. 4
    Using Z specification, refinement, and proof
    by Woodcock, Jim
    Published 1996
    Subjects: “…Z (Computer program language) 51499…”
    Book
    Save to List
    Saved in:
  5. 5
    An introduction to formal specification and Z
    by Potter, Ben
    Published 1996
    Subjects: “…Z (Computer program language) 51499…”
    Book
    Save to List
    Saved in:
  6. 6
    Formal object-oriented specification using object-Z /
    by Duke, Roger
    Published 2000
    Subjects: “…Z (Computer program language).…”
    Book
    Save to List
    Saved in:
  7. 7
    An introduction to formal specification and Z
    by Potter, Ben
    Published 1996
    Subjects: “…Z (Computer program language) 51499…”
    Book
    Save to List
    Saved in:
  8. 8
    Formal object-oriented specification using Object-Z
    by Duke, Roger
    Published 2000
    Subjects: “…Z (Computer program language) 51499…”
    Book
    Save to List
    Saved in:
  9. 9
    Formal object-oriented specification using Object-Z
    by Duke, Roger
    Published 2000
    Subjects: “…Z (Computer program language) 51499…”
    Book
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search