This tutorial introduction to <strong>Z</strong> takes as its starting point the practical uses of this formal specification language. Case studies are used thr... » 

This tutorial introduction to Z takes as its starting point the practical uses of this formal specification language. Case studies are used throughout the text to illustrate all aspects of Z. This edition includes new information on how to relate Z specifications to actual program codes. «