Formal methods Europe. International symposium (12 ; 2003 ; Pise, Italie)

Création :08-09-2003
Fin d'activité :14-09-2003

Ses activités

Auteur du texte1 document

  • FME 2003

    formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

    Description matérielle : XVII-942 p.
    Description : Note : Bibliogr. en fin de chapitre. Index
    Édition : Berlin : Springer , cop. 2003
    Éditeur scientifique : Keijiro Araki, Stefania Gnesi, Dino Mandrioli

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

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 2003, cop. 2003

Pages équivalentes