Search Results

You searched for: author_facet Spivey, J. M. Remove constraint

Search Results

Cover image for Understanding Z

Understanding Z

Location Call # Status
Joyner - General Stacks QA76.73.Z2 S65 1988 ✔ Available
Cover image for An introduction to logic programming through Prolog

An introduction to logic programming through Prolog

Location Call # Status
Joyner - General Stacks QA76.63 .S64 1996 ✔ Available
Cover image for The Z notation

The Z notation

Location Call # Status
Joyner - General Stacks QA76.73.Z2 S66 1992 ✔ Available