TY  - BOOK
AU  - Ince, D.
AU  - Ince, D.
TI  -  An introduction to discrete mathematics, formal system specification , and Z
SN  - 0198538375 (hbk.) :
U1  - 005.1/1  20
PY  - 1992///
CY  - Oxford,  New York
PB  - Clarendon Press, Oxford University Pre ss
KW  - Computer science
KW  -  Mathematics
KW  - System design
N1  - Updated ed. of: An introduction to discrete mathematics and formal s ystem specification. 1988; Includes bibliographical references (p. [280]-282) and index
ER  -