Written to version 4.5, this handbook with a companion CD-ROM introduces novices to mission-critical form Z concepts while serving as a training manual and compact desktop reference for more experienced users. Central to the book is a collection of step-by-step tutorials from "5-Minute Models" to more advanced exercises.