Formal Specification Using Z

Formal specification is a technique for specifying what is required of a computer system. Z is a leading notation for formal specification. Each chapter of this... » 

Formal specification is a technique for specifying what is required of a computer system. Z is a leading notation for formal specification. Each chapter of this introductory work is followed by a set of exercises, and sample solutions are provided for all of these in an appendix. «