عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .M35153 1992
QA
76
.
9
.
M35153
1992
کتابخانه
محل استقرار
An introduction to discrete mathematics, formal system specification, and Z
Oxford
Clarendon Press
1992
x, 286 p. : ill
Oxford applied mathematics and computing science series
Updated ed. of : An introduction to discrete mathematics and formal system specification, 1988
Includes bibliographical references and index
D.C. Ince
1
Mathematics ، Computer science
، System design
QA
76
.
9
.
M35153
1992
Ince, Darrel
AU
AU Ince, Darrel. Introduction to discrete mathematics and formal system specification
TI
