![Exercices corrigés en langage Z](https://www.unitheque.com/Intermediaire2/CouvertureE/X/9782729819422-exercices-corriges-langage.jpg)
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]