Publisher's Synopsis
This work offers an introduction to the Z language which is being increasingly used for the formal specification of software. The book explains how to write formal specifications through worked examples and exercises. In the appendices, the Z notation, operators and functions are defined.;The book is aimed at second and third year undergraduates on BSc computer science courses, those on MSc courses in computer science, programmers in industry, particularly defence and electronics.