Résumé
L'un des premiers ouvrage de langue française à présenter
les concepts de la spécification formelle, il expose au
programmeur et concepteur de logiciel comment décrire de
façon précise les demandes énoncées par l'utilisateur du
logiciel à réaliser.
L'auteur - Henri Habrias
Henri Habrias est professeur a l'universite de Nantes. Il enseigne le genie logiciel aux etudiants en IUT, en DEA et DESS. Il est responsable de l'equipe Methodes et specifications formelles de l'Institut de recherche en informatiques de Nantes (IRIN).
Autres livres de Henri Habrias
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Elsevier-Masson |
| Auteur(s) | Henri Habrias |
| Parution | 15/02/1993 |
| Nb. de pages | 368 |
| EAN13 | 9782225827686 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
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
