Marie-Claude Gaudel

Pays :France
Langue :français
Sexe :féminin
Note :
Spécialiste en génie logiciel. - Professeur d'informatique à l'université de Paris-Sud, Orsay (depuis 1984). - Docteur en informatique (Nancy, 1980). - Chevalier de la Légion d'honneur (2011)
ISNI :ISNI 0000 0000 4599 5735

Ses activités

Auteur du texte7 documents

  • FME'96

    Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18-22, 1996 Proceedings

    Description matérielle : 1 online resource
    Description : Note : L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques
    Édition : Berlin, Heidelberg : Springer-Verlag : Springer e-books , 1996

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb44693529r]
  • Génération et preuve de compilateurs basées sur une sémantique formelle des langages de programmation

    Description matérielle : VII-194 p.
    Édition : [S.l.n.d.]

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb36090855j]
  • Les Structures de données et leur représentation en mémoire

    Description matérielle : 270 p.
    Édition : Le Chesnay : IRIA , 1977
    Éditeur scientifique : Institut de recherche d'informatique et d'automatique. France
    Autre auteur du texte : Claude Pair

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb347106469]
  • Les Structures de données et leur représentation en mémoire

    2 éd.
    Description matérielle : VIII-274 p.
    Description : Note : Bibliogr. p. 267-274
    Édition : Rocquencourt : IRIA , 1979
    Éditeur scientifique : Institut de recherche d'informatique et d'automatique. France
    Autre auteur du texte : Claude Pair

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb34635222n]
  • TAPSOFT'93

    Theory and Practice of Software Development, 4th International Joint Conference CAAP/FASE Orsay, France, April 13-17, 1993 Proceedings

    Description matérielle : 1 online resource
    Description : Note : L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques
    Édition : Berlin, Heidelberg : Springer-Verlag : Springer e-books , 1993

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb44692238n]

Éditeur scientifique1 document

  • FME '96, industrial benefit and advances in formal methods

    third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings

    Description matérielle : XII-704 p.
    Description : Note : Bibliogr. en fin de chapitre. Index
    Édition : Berlin : Springer , cop. 1996
    Éditeur scientifique : Jim Woodcock
    Auteur du texte : Formal methods Europe. International symposium (03 ; 1996 ; Oxford, GB)

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb390848651]

Directeur de publication1 document

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

Biographie Wikipedia

Pages équivalentes