LC CutterNumber :
.M35,I53
Title :
introduction to discrete mathematics, formal system specification, and Z
Author Statement :
D.C. Ince
Publication :
Clarendon Press
Collation :
x, 286 p.: ill.; 24 cm
Series :
Oxford applied mathematics and computing science series
Notes :
Updated ed. of: An introduction to discrete mathematics and formal system specification. 1988
Subject :
Computer science- Mathematics,System design
Holding Info. :
0198538375
Biblography :
Includes bibliographical references (p. [280]-282) and index