Nantilus
Introduction à la spécification
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Introduction à la spécification / Henri Habrias,...; préf. de H. Gallaire; présentation du livre par M. Jackson |
| Publié : |
Paris, Milan, Barcelone :
Masson
, 1993 |
| Description matérielle : | 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. 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 |