Introduction à la spécification
Enregistré dans:
Auteur principal : | |
---|---|
Autres auteurs : | |
Format : | Livre |
Langue : | français |
Titre complet : | Introduction à la spécification / Henri Habrias,...; préface de H. Gallaire; présentation du livre par M. Jackson |
Publié : |
Paris, Milan, Barcelone :
Masson
, DL 1993 |
Description matérielle : | 1 vol. (XIX-347 p.) |
Collection : | Méthodologies du logiciel (Paris) ; 2 |
Sujets : |
BU Sciences
| Cote | Prêt | Statut |
---|---|---|---|
Magasin n.3 | 681.324 HAB/8533 | Empruntable | Disponible |
Bib. CRDM (Mathématiques)
| Cote | Prêt | Statut |
---|---|---|---|
Bibliothèque | 104D32 | Prêt sans prolongation | Disponible |
Bib. IUT de Nantes - Joffre
| Cote | Prêt | Statut |
---|---|---|---|
Site Joffre | 840-138 | Prêt sans prolongation | Disponible |
Site Joffre | 840-140 | Prêt sans prolongation | Disponible |
Site Joffre | 840-139 | Prêt sans prolongation | Disponible |