This book is about the formal specification language Z. It is based on two lecture courses given in the School of Computer Science at the University of Birmingham. Given its origins this book can be used as a textbook for courses on Z...