José Nuno Oliveira

Pays :Portugal
Langue :portugais
Sexe :masculin
Note :
En poste : University of Minho, Computer Science Department, Braga, Portugal (en 2001)
Autre forme du nom :José Nuno Oliveira
ISNI :ISNI 0000 0001 1635 1356

Ses activités

Éditeur scientifique1 document

  • FME 2001

    formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings

    Description matérielle : XIII-628 p.
    Description : Note : Bibliogr. en fin de chapitre. Index
    Édition : Berlin : Springer , cop. 2001
    Éditeur scientifique : Pamela Zave
    Auteur du texte : Formal methods Europe. International symposium (10 ; 2001 ; Berlin)

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

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

  • FME 2001 / José Nuno Oliveira, Pamela Zave (eds.), cop. 2001

Autre forme du nom

  • José Nuno Oliveira

Pages équivalentes