Journals Higher Education

£57.00

Paperback

Published: 04 February 1993

296 Pages | line drawings

234x156mm

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 ...

Share: