Dominique Méry

Pays :France
Langue :français
Sexe :masculin
Note :
Professeur des universités, section 27, informatique (en 2010)
ISNI :ISNI 0000 0001 0658 7111

Ses activités

Directeur de publication2 documents

Auteur du texte1 document

  • Une Méthode axiomatique de preuve de propriétés de fatalité de programmes parallèles avec hypothèse d'exécution équitable

    Description matérielle : 251 p.
    Édition : [S.l.n.d]

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

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

  • From research to teaching formal methods : the B method / Christian Attiogbé, Dominique Mery, eds., 2010

Pages équivalentes