Notice de personne
- Notice
Pnueli, Amir (1941-2009) forme internationale
Pays :
Israël
Langue(s) :
anglais
Sexe :
Masculin
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1941-04-22, Nahalal (Israël)
Mort :
2009-11-02, New York (État de New York, États-Unis)
Mathématicien. - Professeur, Department of computer science and applies mathematics,
Faculty of mathematics and computer science, Weizmann institute of science, Rehovot,
Israel (en 1995). - Professeur, Department of computer science, Courant institute
of mathematical sciences, New York university (1999-2009). - Membre, Israel academy
of sciences and humanities (2001-2009). - Lauréat, Prix d'Israël en informatique (en
2001). - Fils de Shemuel Yeshayahu Penueli (1904-1965), essayiste, spécialiste de
littérature hébraïque.
Forme(s) rejetée(s) :
< Pnwʾeliy, ʾAmiyr (1941-2009) translit.-ISO hébreu
< פנואלי, אמיר (1941-2009) hébreu
< Pnwʾeliy, ʾAmiyr (1941-2009) translit.-ISO hébreu
< פנואלי, אמיר (1941-2009) hébreu
Source(s) :
Temporal verification of reactive systems / Zohar Manna, Amir Pnueli, 1995
Weizmann institute of science : http://www.weizmann.ac.il (2007-01-18) . - Israel academy of sciences and humanities : http://www.academy.ac.il (2007-01-18) . - Israel academy of sciences and humanities : http://www.academy.ac.il/ (2009-11-16) . - New York university : http://www.cs.nyu.edu/ (2009-11-16) . - Haaretz, 2009-11-15 : http://www.haaretz.co.il/ (2009-11-16)
BnF Service hébreu, 2007-01-18
Temporal verification of reactive systems / Zohar Manna, Amir Pnueli, 1995
Weizmann institute of science : http://www.weizmann.ac.il (2007-01-18) . - Israel academy of sciences and humanities : http://www.academy.ac.il (2007-01-18) . - Israel academy of sciences and humanities : http://www.academy.ac.il/ (2009-11-16) . - New York university : http://www.cs.nyu.edu/ (2009-11-16) . - Haaretz, 2009-11-15 : http://www.haaretz.co.il/ (2009-11-16)
BnF Service hébreu, 2007-01-18
Identifiant international de l'autorité :
ISNI 0000 0000 8386 4015
, cf.
http://isni.org/isni/0000000083864015
Identifiant de la notice : ark:/12148/cb146146775
Notice n° :
FRBNF14614677
Création :
05/03/21
Mise à jour :
19/10/08