Exercices corrigés en langage Z - Les spécifications formelles par l'exemple

Cet ouvrage couvre l'essentiel du domaine d'application de Z, de l'acquisition de la notation à la conception des systèmes d'informations. Il comprend 80 exercices corrigés et commentés.