paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 060781750Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Clarke, Edmund M. (1945-....)

Variantes de point d'accès

Clarke, Edmund
[Nom de personne]
Clarke, Edmund Melson
[Nom de personne]

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance ne sont pas affichés)
Langue d'expression : Anglais
Pays : Etats-Unis
Date de naissance :    1945
Genre : Masculin

Notes

Note publique d'information : 
Professeur d'informatique, de génie électrique informatique, Carnegie Mellon University, Pittsburgh, Pa. (en 1999)

Source

Internet, http://authorities.loc.gov, 2006-03-06

Information trouvée : dates et fonction

Internet, http://authorities.loc.gov, 2013-11-26

Information trouvée : forme bibliogr. : Clarke, E. M., 1945- ; variante : Clarke, Edmund M., 1945-

Internet, http://catalogue.bnf.fr, 2013-11-26

Information trouvée : forme bibliogr. : Clarke, Edmund Melson (1945-....)

Internet, http://www.ams.org/mathscinet, 2013-11-26

Information trouvée : forme bibliogr. : Clarke, Edmund M.

Internet, http://www.cs.cmu.edu/~emc/index.html [page pesonnelle sur le site de Carnegie Mellon University], 2013-11-26

Information trouvée : Edmund M. Clarke

Model checking / Edmund M. Clarke, Jr, Orna Grumberg and Doron A. Peled, 1999

Software Reliability Methods/ Doron A. Peled, Foreword by Edmund M. Clarke, 2001

Autres identifiants

Identifiant VIAF : http://viaf.org/viaf/8050749
Identifiant ISNI : 0000000121197648

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

Equivalent dans un autre référentiel

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