Notice de personne

  • Notice
Clarke, Edmund Melson (1945-....) forme internationale

Nationalité(s) : États-Unis
Langue(s) : anglais
Sexe : Masculin
Responsabilité(s) exercée(s) sur les documents : Auteur
Naissance : 1945-07-27

Informaticien. - Professeur, Computer science department, School of computer science, Carnegie Mellon university, Pittsburgh, Pa. (en 2006)


Source(s) : 
Verification of infinite-state systems with applications to security / ed. by Edmund Clarke, Marius Minea, and Ferucio Laurenţiu Ţiplea, cop. 2006
LC authorities : http://authorities.loc.gov (2012-03-29) . - Carnegie Mellon university : http://www.cmu.edu (2012-03-29)



Identifiant international :  ISNI 0000 0001 2119 7648 , cf. http://isni.org/isni/0000000121197648
Notice n° : FRBNF16505624

Création : 11/04/29
Mise à jour : 12/03/29

Notices liées

page.notice.action.voir.notices.liees Voir toutes les notices liées (2)