An Introduction to Discrete Mathematics, Formal System Specification, and Z / Second Edition

Material type:

TextPublication details: Clarendon Press Ince D.C, 1992Edition: 2ndDescription: 286ISBN:

198538367

Summary: An introduction to both the theory and practice of formal specification. Commercial Software Development, Customer Requirements and Specification, Propositional Calculus, Predicate Calculus, Set Theory, Relations, Functions and Sequences, The Specification Language Z, Operations and Objects in Z, The Z Schema Calculus, Some Small Z Examples, A Large Z Specification, Z and Design, Summary, Further Reading.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Barcode
Books	MC Athens Campus Library	005.133 INC (Browse shelf(Opens below))	2	Available	9780000011602

An introduction to both the theory and practice of formal specification. Commercial Software Development, Customer Requirements and Specification, Propositional Calculus, Predicate Calculus, Set Theory, Relations, Functions and Sequences, The Specification Language Z, Operations and Objects in Z, The Z Schema Calculus, Some Small Z Examples, A Large Z Specification, Z and Design, Summary, Further Reading.

There are no comments on this title.

to post a comment.

Κατάλογος Βιβλιοθηκών Mediterranean College

An Introduction to Discrete Mathematics, Formal System Specification, and Z / Second Edition