Editeur : ELLIPSES
Collection : Technosup
Année : 02/2004Cet ouvrage constitue une bonne base pour l'apprentissage et la pratique du langage Z, et à travers lui des spécifications formelles en général. Il couvre l'essentiel du domaine d'application de Z, de l'acquisition de la notation à la pratique dans la conception de systèmes d'informations.
[lire la quatrième du livre Exercices corrigés en langage Z]