An introduction to discrete mathematics, formal system specification , and Z - Ince, D. (Darrel); Ince, D. (Darrel). (Oxford : Clarendon Press ; New York : Oxford University Pre ss, 1992)
Updated ed. of: An introduction to discrete mathematics and formal s ystem specification. 1988.
Includes bibliographical references (p. [280]-282) and index.
Keywords: Computer science -- Mathematics; System design; Computer science -- Mathematics