Exercices corrigés en langage Z
Type doc. :
Livre
Langue :
Français
Auteur(s) :
Editeur(s) :
Année d'édition :
2004
Thème :
Informatique, traitement des données
ISBN :
2729819428
Afficher le Résumé
Ce livre est un recueil d’exercices corrigés sur le langage Z, utilisé pour la spécification formelle des logiciels. Il permet d’apprendre à modéliser des systèmes informatiques de manière rigoureuse, en passant des notions théoriques (ensembles, relations, schémas) à des applications concrètes et corrigées. Il est particulièrement utile pour les étudiants en génie logiciel et méthodes formelles.
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| N° d'Exemplaire / inventaire | Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|---|
| 229402A11 | 004 AND 7 C1 | BIB-Centrale / Ouvrages | Papier | interne | disponible | ||
| 229398A11 | 004 AND 7 C2 | BIB-Centrale / Ouvrages | Papier | interne | disponible |
André, P. & Vailly, A. (2004). Exercices corrigés en langage Z . Ellipses;