An Introduction to Discrete Mathematics and Formal System Specification - Softcover

Ince, D.C.

 
9780194424332: An Introduction to Discrete Mathematics and Formal System Specification
Softcover
ISBN 10: 0194424332 ISBN 13: 9780194424332
Publisher: ELBS, 1989

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
ELBS
Publication date
1989
Language
English
ISBN 10 
0194424332
ISBN 13 
9780194424332
Binding
Paperback
Number of pages
362

Other Popular Editions of the Same Title

9780198596646: An Introduction to Discrete Mathematics and Formal System Specification (Oxford Applied Mathematics and Computing Science Series)

Featured Edition

ISBN 10:  0198596642 ISBN 13:  9780198596646
Publisher: Oxford University Press, 1988
Softcover