Ince, D. C.

An introduction to discrete mathematics and formal system specification / D.C. Ince. - ELBS ed. - Oxford : ELBS/Oxford University Press, 1989. - xii, 349 p.

0194424332 (pbk.)


Computer science--Mathematics.
System design.