Search Results - Habrias Henri

Refine Results
  1. 1
    Cover Image

    Le modèle relationnel binaire : méthode I. A. (NIAM) by Habrias, Henri (1946-....)

    Published 1988
    Book


    Save to List
    Saved in:
  2. 2
    Cover Image

    Introduction à la spécification by Habrias, Henri (1946-....)

    Published 1993
    Book


    Save to List
    Saved in:
  3. 3
    Cover Image

    Dictionnaire encyclopédique du génie logiciel by Habrias, Henri (1946-....)

    Published 1997
    Book


    Save to List
    Saved in:
  4. 4
    Cover Image

    La Mesure du logiciel by Habrias, Henri (1946-....)

    Published 1995
    Book


    Save to List
    Saved in:
  5. 5
    Cover Image

    Spécification formelle avec B by Habrias, Henri (1946-....)

    Published 2001
    Book


    Save to List
    Saved in:
  6. 6
    Cover Image

    Petit dictionnaire à l'usage des lecteurs novices d'Abélard by Habrias, Henri (1946-....)

    Published 2001
    Book


    Save to List
    Saved in:
  7. 7
    Cover Image

    Systèmes et structures by Habrias, Henri (1946-....)

    Published 1974
    Book


    Save to List
    Saved in:
  8. 8
    Cover Image

    Concepts, méthode, outils pour l'étude du système d'information by Habrias, Henri (1946-....)

    Published 1978
    Thesis


    Save to List
    Saved in:
  9. 9
    Cover Image

    Informatique ; Cantor ; Cours ; Exercices corriges by Briand, Henri, Habrias, Henri (1946-....)

    Published 1974
    Book


    Save to List
    Saved in:
  10. 10
    Cover Image

    H. Briand, H. Habrias. |Cantor. Cours. Exercices. Corrigés by Briand, Henri, Habrias, Henri (1946-....)

    Published 1974
    Book


    Save to List
    Saved in:
  11. 11
    Cover Image

    Methodologie, étude de l'existant, analyse fonctionnelle / 1. by Briand, Henri, Habrias, Henri (1946-....)

    Published 1974
    Book


    Save to List
    Saved in:
  12. 12
    Cover Image

    Organisation by Habrias, Henri (1946-....), Branchet, Jean (1934-....)

    Published 1974
    Book


    Save to List
    Saved in:
  13. 13
    Cover Image

    Conception et réalisation d'un logiciel conversationnel d'analyse fonctionnelle : rapport final de l'ATP CNRS IRIA n 7303 by Briand, Henri, Habrias, Henri (1946-....), Jayez, Jacques-Henri (1943-....)

    Published 1976
    Book


    Save to List
    Saved in:
  14. 14
    Cover Image

    Mathématiques à l'usage des informaticiens by Brugère, Thierry, Mollard, Alain

    Published 2003
    Book


    Save to List
    Saved in:
  15. 15
    Cover Image

    UML : la notation unifiée de modélisation objet : applications en java by Lai, Michel

    Published 1997
    Book


    Save to List
    Saved in:
  16. 16
    Cover Image

    AIDE A LA VALIDATION PAR PARAPHRASAGE DE SPECIFICATIONS FORMELLES B by DIALLO, DJENABOU.

    Published 2000
    Thesis


    Save to List
    Saved in:
  17. 17
    Cover Image

    Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'information : actes des journées... [de] Nantes... 23-24 septembre 1987

    Published 1987
    Book


    Save to List
    Saved in:
  18. 18
    Cover Image

    Software specification methods : An overview using a case study

    Published 2000
    Book


    Save to List
    Saved in:
  19. 19
    Cover Image

    The B Method : from Research to Teaching : Actes/proceedings, Nantes, cité internationale des congrès, 16 juin 2008, Journées scientifiques de l'Université de Nantes

    Published 2008
    Book


    Save to List
    Saved in:
  20. 20
    Cover Image

    La spécification formelle avec Z by Lightfoot, David (1951-....)

    Published 1994
    Book


    Save to List
    Saved in:

Search Tools: