Title: An introduction to discrete mathematics, formal system specification, and Z
First published: 1992
Subjects: Mathematics, Computer science, System design, Computer science, mathematics, Computer mathematics, General & miscellaneous computing
LC classification: QA76.9.M35 I53 1992