This self-contained tutorial on Z presents realistic case studies
emphasizing safety-critical systems, with examples drawn from
embedded controls, real-time and concurrent programming, computer
graphics, games, text processing, databases, artificial
intelligence, and object-oriented programming. It motivates the use
of formal methods and discusses practical issues concerning how to
apply them in real projects. It also teaches how to apply formal... more...