عنوان
پدید آورنده
موضوع
رده
QA 76.9 .M35I53 1992
QA
76
.
9
.
M35I53
1992
کتابخانه
محل استقرار
An introduction to discrete mathematics, formal system specification, and Z
Oxford
Clarendon
c1992
x, 286p.: tables
Oxford applied mathematics and computing science series
Udapted ed. of: An introduction to discrete mathematics and formal system specification, 1988
Bibliography: p.]280[-282
ISBN: 0198538367
D.C. Ince
1
، Computer science -- Mathematics
، System design
QA
76
.
9
.
M35I53
1992
Ince, Darrel C.
AU
AU Ince, Darrel C. Introduction to discrete mathematics and formal system
TI
TI Discrete mathematics, formal system specification, and Z
SE
