An Introduction to Discrete Mathematics, Formal System Specification, and Z (Oxford Applied Mathematics & Computing Science Series) (Oxford Applied Mathematics and Computing Science Series)
Dive into discrete math, formal system design, and Z notation with this second edition, offering rigorous theory, step‑by‑step modeling, and realâ ...