An introduction to discrete mathematics, formal system specification, and Z - Ince, D. (Darrel). (Oxford : Clarendon Press, 1992)
Updated ed. of: An introduction to discrete mathematics and formal system specification. 1988.
Includes bibliographical references.
Keywords: Computer science -- Mathematics; System design