An Introduction to Discrete Mathematics, Formal System Specification, and Z / Second Edition
An Introduction to Discrete Mathematics, Formal System Specification, and Z / Second Edition
- 2nd
- Clarendon Press Ince D.C, 1992
- 286
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.
198538367
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.
198538367