An introduction to discrete mathematics and formal system specification

Commercial software development customer requirements, system specification, and natural language propositional calculus predicate calculus set theory relations and relational operators functions and sequences induction and recursive specification the specification language Z operators and objects in Z the Z schema calculus Z specifications in action - the University of Lincoln library system. Appendix: definition of Z operators. References. Index