Journals Higher Education
Important OUP's Response to COVID-19 Learn more



Published: 04 February 1993

296 Pages | line drawings


ISBN: 9780198538363

Bookseller Code (AJ)

An Introduction to Discrete Mathematics, Formal System Specification, and Z

Second Edition

D. C. Ince

Clarendon Press

Oxford Applied Mathematics and Computing Science Series

Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and ...