Formal methods Europe. International symposium (03 ; 1996 ; Oxford, GB)

Création :18-03-1996
Fin d'activité :22-03-1996

Ses activités

Auteur du texte1 document

  • FME '96, industrial benefit and advances in formal methods

    third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings

    Description matérielle : XII-704 p.
    Description : Note : Bibliogr. en fin de chapitre. Index
    Édition : Berlin : Springer , cop. 1996
    Éditeur scientifique : Marie-Claude Gaudel, Jim Woodcock

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

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 '96, cop. 1996

Pages équivalentes