La notation Z est un langage permettant d’exprimer les spécifications mathématiques des systèmes informatiques. En fournissant une sémantique formelle pour Z, ce livre justifie l’affirmation selon laquelle Z est un langage de spécification précis et fournit un cadre standard pour comprendre les spécifications Z. Z est comparé à d’autres méthodes telles que VDM et CLEAR et dans le dernier chapitre, un certain nombre d’études dans le style Z sont présentées pour montrer que Z peut être utilisé dans une grande variété de tâches de spécification. Ce livre plaira à ceux qui souhaitent approfondir leur compréhension du contexte mathématique de la méthode Z, à ceux qui veulent une définition concise du langage et à ceux qui s’intéressent à la conception des langages de spécification. Langue : Anglais