An introduction to discrete mathematics, formal system specification, and Z
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.
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.