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
Description
Bibliography : Bibliogr. p. [319]-340. Index
ISBN : 2-225-82768-0