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.