zbMATH — the first resource for mathematics

An introduction to formal specification and Z. 2nd ed. (English) Zbl 0860.68069
London: Prentice Hall. xiv, 434 p. (1996).
The second edition differs from the first (1991; Zbl 0745.68028) in the following areas: alignment of the notation with the standard version of the language, insofar as is possible prior to publication of the standard, additional notation, particularly promotion, provision of solutions to selected exercises, an additional case study, presentation of further work on refinements.
Naturally, all known errors have been corrected.

68Q65 Abstract data types; algebraic specification
68N01 General topics in the theory of software
68Q45 Formal languages and automata
68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science