Génie logiciel - Exercices corrigés en langage Z
Les spécifications formelles par l'exemple
Pascal André, Alain Vailly - Collection Technosup
Résumé
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.
L'auteur - Pascal André
Pascal André, Maître de conférences d'informatique à la Faculté des lettres et sciences humaines de l'Université de Nantes travaille en recherche sur les méthodes formelles de développement des systèmes à objets.
Autres livres de Pascal André
L'auteur - Alain Vailly
Alain Vailly, Maître de conférences à la Faculté des sciences et techniques de l'Université de Nantes est Directeur de l'IUP MIAGe. Il s'intéresse en recherche au paraphrasage de spécification.
Autres livres de Alain Vailly
Sommaire
- Le langage Z
- La spécification avec Z
- La spécification avec Z : la facturation de commandes
- Des compléments pour la modélisation avec Z
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Ellipses |
| Auteur(s) | Pascal André, Alain Vailly |
| Collection | Technosup |
| Parution | 04/03/2004 |
| Nb. de pages | 256 |
| Format | 17,5 x 26 |
| Couverture | Broché |
| Poids | 546g |
| Intérieur | Noir et Blanc |
| EAN13 | 9782729819422 |
| ISBN13 | 978-2-7298-1942-2 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
