Notice de personne
- Notice
Clarke, Edmund Melson (1945-....) forme internationale
Pays :
É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)
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 de l'autorité :
ISNI 0000 0001 2119 7648
, cf.
http://isni.org/isni/0000000121197648
Identifiant de la notice : ark:/12148/cb16505624q
Notice n° :
FRBNF16505624
Création :
11/04/29
Mise à jour :
12/03/29
