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.
- ISBN10 0632031174
- ISBN13 9780632031177
- Publish Date 1 January 1993
- Publish Status Out of Print
- Out of Print 7 March 2001
- Publish Country GB
- Publisher McGraw-Hill Education - Europe
- Imprint Alfred Waller Ltd
- Format Paperback
- Pages 256
- Language English