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. ©Electre 2025
Cet 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. Il est constitué de plus de 80 exercices corrigés et commentés, regroupés en quatre chapitres :
Cet ouvrage fait suite à un précédent livre, des mêmes auteurs, dans la même collection Spécification des logiciels - deux exemples : Z et UML, dont il reprend les sujets pour les développer. L'ensemble constitue un bon passeport pour la maîtrise des spécifications formelles.
Paru le : 02/03/2004
Thématique : Informatique Etudiant
Auteur(s) : Auteur : Pascal André Auteur : Alain Vailly
Éditeur(s) :
Ellipses
Collection(s) : Technosup
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782729819422
Reliure : Broché
Pages : II-243
Hauteur: 26.0 cm / Largeur 18.0 cm
Épaisseur: 1.6 cm
Poids: 550 g
Carte fidélité
Mollat Radio
