TY  - BOOK
TI  - An Introduction to Discrete Mathematics, Formal System Specification, and Z / Second Edition
SN  - 198538367
PY  - 1992///
PB  - Clarendon Press, Ince D.C
N2  - 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
ER  -