Specification Case Studies

Presenting a series of up-to-date case studies in the use of Z from leading researchers, this book is divided into four parts: tutorials, software engineering, distributed computing, and transaction processing.