Exercices corrigés en langage Z : les spécifications formelles par l'exemple

Exercices corrigés en langage Z : les spécifications formelles par l'exemple

Détails bibliographiques
Auteurs principaux : André Pascal (Auteur), Vailly Alain (Auteur)
Format : Livre
Langue : français
Titre complet : Exercices corrigés en langage Z : les spécifications formelles par l'exemple / Pascal André,... Alain Vailly,...
Publié : Paris : Ellipses , DL 2004
Description matérielle : 1 vol. (II-243 p.)
Collection : Technosup Génie logiciel les filières technologiques des enseignements supérieurs [dir. par Claude Chèze]
Sujets :
Z (méthode formelle) > Problèmes et exercices
Z (méthode formelle) > Manuels d'enseignement supérieur
Génie logiciel

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Rez-de-chaussée, salle 2 005.133 Z Empruntable Disponible
Rez-de-chaussée, salle 2 005.133 Z Empruntable Disponible
Rez-de-chaussée, salle 2 005.133 Z Empruntable Disponible
Rez-de-chaussée, salle 2 005.133 Z Empruntable Disponible
Magasin n.3 005.133 Z/13405 Empruntable Disponible
Rez-de-chaussée, salle 2 005.133 Z Empruntable Disponible
Rez-de-chaussée, salle 2 005.133 Z Empruntable Disponible
Rez-de-chaussée, salle 2 005.133 Z Empruntable Disponible