The Way of Z: Practical Programming with Formal Methods
Jonathan Jacky, Cambridge University Press, 1997
ISBN 0-521-55976-6 (pbk., $35.00/£22.95), ISBN 0-521-55041-6 (hbk., $95.00/£60.00)
Some excerpts from the book:
Some lecture notes based on the book:
Other material:
Other pages about Z and formal methods
Publisher's pages about the paperback (USA, UK), hardcover (USA, UK)
Other pages about the publisher USA, UK
Other pages about the radiation therapy machine case study in the book