Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Méry, Dominique (1958-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Une Méthode axiomatique de preuve de propriétés de fatalité de programmes parallèles avec hypothèse d'exécution équitable [Texte imprimé]

Publication : [S.l.n.d]

Description matérielle : 251 p. : ill. ; 30 cm

Note(s) : Th. 3e cycle : Inform. : Nancy, I.N.P.L. : 1983

Identifiant de la notice  : ark:/12148/cb36101288d

Notice n° :  FRBNF36101288