Détail d'une collection
|
Documents disponibles dans la collection (1)



![]()
texte imprimé
Henri Habrias ; Hervé Gallaire | Masson Paris. | M©thodologies du logiciel (Paris), ISSN 1242-5656 | 1993L'un des premiers ouvrages de langue française à présenter les concepts de la spécification formelle, il expose au programmeur et concepteur de logiciel comment décrire de façon précise les demandes énoncées par l'utilisateur du logiciel à réaliser.
