Formal methods Europe. International symposium (01 ; 1993 ; Odense, Danemark)

Création :19-04-1993
Fin d'activité :23-04-1993

Ses activités

Auteur du texte1 document

  • FME '93

    industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings

    Description matérielle : XI-689 p.
    Description : Note : Bibliogr. en fin de chapitre
    Édition : Berlin : Springer-Verlag , cop. 1993
    Éditeur scientifique : Peter G. Larsen, Jim Woodcock

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb39085048g]

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 '93, cop. 1993

Pages équivalentes