An Introduction to Discrete Mathematics, Formal System Specification, and Z Book Discussion
An Introduction to Discrete Mathematics, Formal System Specification, and Z (Oxford Applied Mathematics and Computing Science Series)
by
An Introduction to Discrete Mathematics, Formal System Specification, and Z (Oxford Applied Mathematics and Computing Science Series)