De Z-notatie is een taal voor het uitdrukken van wiskundige specificaties van computersystemen. Door een formele semantiek voor Z te bieden, rechtvaardigt dit boek de bewering dat Z een precieze specificatietaal is en biedt het een standaardkader voor het begrijpen van Z-specificaties. Z wordt vergeleken met andere methoden zoals VDM en CLEAR en in het laatste hoofdstuk worden een aantal studies in Z-stijl gepresenteerd om aan te tonen dat Z kan worden gebruikt in een breed scala aan specificatietaken. Dit boek zal aantrekkelijk zijn voor diegenen die hun begrip van de wiskundige achtergrond van de Z-methode willen verdiepen, voor diegenen die een beknopte definitie van de taal willen en voor diegenen die geïnteresseerd zijn in het ontwerp van specificatietalen. Taal: Engels