Ince, D.

An introduction to discrete mathematics, formal system specification, and Z D. C. Ince. - 2nd ed. - Oxford : Clarendon Press, 1992. - 286 p. ; 23 cm. - Oxford applied mathematics and computing science series. . - Oxford applied mathematics and computing science series. .

Updated ed. of: An introduction to discrete mathematics and formal system specification. 1988.

Includes bibliographical references.

0198538367


Computer science--Mathematics.
System design.