An Introduction to Discrete Mathematics, Formal System Specification, and Z (Oxford Applied Mathematics and Computing Science Series)
Publisher: Oxford University Press, USA
Published: March 18, 1993
Language: eng
Number of pages: 296
ISBN-13: 9780198538370