This book provides a complete tutorial on the Z notation. The introduction of case studies and exercises reinforces the informative and educational nature of the book.

Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years.