Ince, D.

An introduction to discrete mathematics and formal system specification / D. C. Ince. - Oxford : Clarendon Press, 1988. - 349 p. ; 22 cm. - Oxford applied mathematics and computing science series. . - Oxford applied mathematics and computing science series. .

Includes bibliographical references and index.

0198596677


Electronic data processing--Mathematics.
System design.