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.