Eduardo Giménez (1967-....)

Langue :anglais
Sexe :masculin
Note :
En poste : Institut national de recherche en informatique et automatique, Roquencourt, Yvelines (en 1998)
ISNI :ISNI 0000 0000 8136 1932

Ses activités

Éditeur scientifique1 document

  • Types for proofs and programs

    International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers

    Description matérielle : VIII-372 p.
    Description : Note : Bibliogr. en fin de chapitre. Index
    Édition : Berlin ; New York : Springer , cop. 1998
    Éditeur scientifique : Christine Paulin-Mohring
    Auteur du texte : International workshop TYPES (1996 ; Aussois, Savoie)

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

Auteur du texte1 document

  • Types for Proofs and Programs

    International Workshop TYPES'96 Aussois, France, December 15-19, 1996 Selected Papers

    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 , 1998
    Autre : Christine Paulin-Mohring

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

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

Pages équivalentes