Introduction à la spécification

Introduction à la spécification

Enregistré dans:
Détails bibliographiques
Auteur principal : Habrias Henri (Auteur)
Autres auteurs : Gallaire Hervé (Préfacier)
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 :
Génie logiciel
Z (méthode formelle)
Logiciels > Développement
Systèmes d'information > Spécifications
Spécifications
Logiciels

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin n.3 681.324 HAB/8533 Empruntable Disponible

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 104D32 Prêt sans prolongation Disponible

Bib. IUT de Nantes - Joffre

Informations d'exemplaires de 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