An Introduction To Discrete Mathematics, Formal System Specification, And Z

by Ince
language: english
Publisher: Oxford University Press, February of 1993 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book
Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. This textbook is an introduction to both the theory and practice of formal specification.

An Introduction To Discrete Mathematics, Formal System Specification, And Z

by Ince

Property Description
ISBN: 9780198538363
Publisher: Oxford University Press
Release Date: February of 1993
Language: English
Cover: Softcover
Pages: 296
Format: Book
Collection: Oxford Applied Mathematics And Computing Science Series
Categories: Books in English > Science > Mathematics
EAN: 9780198538363