Title: Z
First published: 1990
Description: 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.
Subjects: Z (Computer program language), Formal methods (Computer science), Z (langage de programmation), Computer programs