الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Détail de l'auteur
Auteur Herv© Gallaire (1944-....) |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Introduction à la spécification / Henri Habrias
Titre : Introduction à la spécification Type de document : texte imprimé Auteurs : Henri Habrias, ; Herv© Gallaire (1944-....), Editeur : Paris : Masson Année de publication : cop. 1993 Collection : Méthodologies du logiciel (Paris), ISSN 1242-5656 num. 2. Importance : 1 vol. (XIX-347 p.) Présentation : ill., couv. ill Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-82768-6 Prix : 260 F Langues : Français (fre) Mots-clés : Introductio spécification Index. décimale : 670. Résumé : L'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. Introduction à la spécification [texte imprimé] / Henri Habrias, ; Herv© Gallaire (1944-....), . - Paris : Masson, cop. 1993 . - 1 vol. (XIX-347 p.) : ill., couv. ill ; 24 cm.. - (Méthodologies du logiciel (Paris), ISSN 1242-5656; 2.) .
ISBN : 978-2-225-82768-6 : 260 F
Langues : Français (fre)
Mots-clés : Introductio spécification Index. décimale : 670. Résumé : L'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. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire