Showing 1 - 2 results of 2 for search 'Spivey, J. Michael', query time: 0.01s Refine Results
  1. 1

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

    Published 1992
    Book
  2. 2

    An introduction to logic programming through PROLOG / by Spivey, J. Michael

    Published 1996
    Book