Exercices corrigés en langage Z - Génie logiciel - Niveau C

Niveau C (Compléments) Pour la maîtrise du langage Z et pour comprendre les spécifications formelles, un livre qui complète un précédent ouvrage des mêmes auteurs sur Z, en proposant des exercices avec solutions, précisions sur les démarches suivies et conseils de modélisation.