Introduction à la spécification

Introduction à la spécification

Saved in:
Bibliographic Details
Main Author : Habrias Henri (Auteur)
Other Authors : Gallaire Hervé (Préfacier)
Format : Book
Language : français
Title statement : Introduction à la spécification / Henri Habrias,...; préface de H. Gallaire; présentation du livre par M. Jackson
Published : Paris, Milan, Barcelone : Masson , DL 1993
Physical Description : 1 vol. (XIX-347 p.)
Series : Méthodologies du logiciel (Paris) ; 2
Subjects :
Génie logiciel
Z (méthode formelle)
Logiciels > Développement
Systèmes d'information > Spécifications
Spécifications
Logiciels

BU Sciences

Holdings details from BU Sciences
Location Call Number Loan type Status
Magasin n.3 681.324 HAB/8533 Empruntable Available

Bib. CRDM (Mathématiques)

Holdings details from Bib. CRDM (Mathématiques)
Location Call Number Loan type Status
Bibliothèque 104D32 Prêt sans prolongation Available

Bib. IUT de Nantes - Joffre

Holdings details from Bib. IUT de Nantes - Joffre
Location Call Number Loan type Status
Site Joffre 840-138 Prêt sans prolongation Available
Site Joffre 840-140 Prêt sans prolongation Available
Site Joffre 840-139 Prêt sans prolongation Available