Items related to An Introduction to Discrete Mathematics, Formal System...
An Introduction to Discrete Mathematics, Formal System Specification, and Z (Oxford Applied Mathematics and Computing Science Series) - Hardcover
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.
From the Back Cover
This textbook is an introduction to both the theory and practice of formal specification, and this new edition includes two new chapters on Z, one giving a number of small examples in Z, the other covering design and Z. Prerequisites in this edition have again been kept to a minimum since Professor Ince is at pains to develop the techniques of requirement analysis and discrete mathematics that are exercises which include many real examples of software and computer systems.
About the Author
D. C. Ince is at The Open University.
"About this title" may belong to another edition of this title.
Search results for An Introduction to Discrete Mathematics, Formal System...
Seller Image
An introduction to discrete mathematics, formal system specification, and Z D. C. Ince.
Published by
Oxford, Clarendon [1992]., 1992
ISBN 10: 0198538375
ISBN 13: 9780198538370
Used
Softcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C 692 9780198538370 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2497743
Quantity: 1 available