Éric Audureau

Pays :France
Langue :français
Sexe :masculin
Note :
Chargé de recherches au CNRS (en 1990)
ISNI :ISNI 0000 0000 0074 8992

Ses activités

Éditeur scientifique1 document

  • L'analyse mathématique du problème de l'espace

    Description matérielle : 2 vol. (275, 146 p.)
    Description : Note : Notice réd. d'après la couv.. - Bibliogr. vol. 1, p. 271-272 et vol. 2, p. 143-146. Index
    Édition : Aix-en-Provence : Presses universitaire de Provence , 2015
    Éditeur scientifique : Julien Bernard
    Auteur du texte : Hermann Weyl (1885-1955)

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

Auteur du texte1 document

  • Logique temporelle

    sémantique et validation des programmes parallèles

    Description matérielle : 234 p.
    Description : Note : Bibliogr. p. 224-232. Index
    Édition : Paris ; Milan ; Barcelone : Masson , 1990
    Autre auteur du texte : Patrice Enjalbert, Luis Fariñas del Cerro

    disponible en Haut de Jardin

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

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

  • Logique temporelle : sémantique et validation de programmes parallèles / Eric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro, 1990

Pages équivalentes