Jourdan, Jacques-Henri (1989-....)

Jourdan, Jacques-Henri (1989-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 194193454

URI de l'entité : http://www.idref.fr/194193454/id

Notice de type Personne

Point d'accès autorisé

Jourdan, Jacques-Henri (1989-....)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : français

Pays : France

Date de naissance : 1989

Genre : Masculin

Notes

Note publique d'information :

Titulaire d'un doctorat d'Informatique obtenu en 2016

Source

Verasco : a Formally Verified C Static Analyzer / Jacques-Henri Jourdan ; sous la direction de Xavier Leroy, 2016. Thèse de doctorat : Informatique : Paris, Sorbonne Paris Cité : 2016

Identifiants externes

Identifiant HAL : jacques-henri-jourdan

Identifiant VIAF : http://viaf.org/viaf/438147093829725002575

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet

Le point d'accès ne peut s'employer qu'en élément initial

Informations sur la notice

Identifiant de la notice : 194193454

RCR créateur de la notice : 751132105

Date de création : 06-07-2016

RCR dernier modificateur de la notice : 751132105

Date de dernière modification : 17-10-2020 à 00 h 11

... Références liées : ...