Pnueli, Amir (1941-2009) Amélioration Assistance
066852196
Notice de type Personne

Forme retenue

Pnueli, Amir (1941-2009)

Forme rejetée

Pnwʾeliy, ʾAmiyr (1941-2009)
[Nom de personne]
פנואלי, אמיר (1941-2009)
[Nom de personne]

Information

Langue d'expression : anglais
Pays : ISRAËL
Date de naissance : 2204 1941
Date de mort : 0211 2009
Sexe : masculin

Notes

Note publique d'information :
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)


Source

BnF Service hébreu, 2007-01-18


Israel academy of sciences and humanities - http://www.academy.ac.il (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)
Source consultée en vain : JNUL - http://jnul.huji.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)

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU
La vedette ne peut s'employer qu'en tête de vedette

Autres identifiants

En cours : FRBNF146146775

Notices bibliographiques liées :5rôle(s)

000 Code de fonction non reconnu ( 1 )
070 Auteur ( 2 )
340 Editeur scientifique ( 3 )
990 Sujet ( 1 )
990 Fonction non précisée ( 3 )



Code de fonction non reconnu :

Rôles ?



045581290 : Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 1997 : revised lectures / Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.) / Berlin : Springer , c1998



Auteur :

Rôles ?



022913211 : Temporal verification of reactive systems [Texte imprimé] : safety / Zohar Manna, Amir Pnueli / New York (N. Y.) : Springer , cop. 1995

013312928 : The temporal logic of reactive and concurrent systems [Texte imprimé] : specification / Zohar Manna, Amir Pnueli / New York (N. Y.) : Springer , cop.1992



Editeur scientifique :

Rôles ?



021295832 : Temporal logic in specification [Texte imprimé] : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.) / Berlin : Springer-Verlag , cop. 1989

07106866X : Hybrid systems [Texte imprimé] : computation and control : 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings / Oded Maler, Amir Pnueli (eds.) / Berlin : Springer , cop. 2003

142615978 : Perspectives of systems informatics [Texte imprimé] : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers / Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.) / Berlin : Springer , cop. 2010



Sujet :

Rôles ?



147498694 : Time for verification [Texte imprimé] : essays in memory of Amir Pnueli / Zohar Manna, Doron A. Peled (eds.) / Berlin : Springer , cop. 2010



Fonction non précisée :

Rôles ?



155216651 : The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983 [Ressource électronique] / edited by G. Goos, J. Hartmanis, D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth. / Berlin, Heidelberg : the United States Government , 1983

155202707 : Advances in Cryptology — EUROCRYPT ’88 [Ressource électronique] : Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings / edited by D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther. / Berlin, Heidelberg : Springer Verlag Berlin Heidelberg , 1988

155214128 : Temporal Logic in Specification [Ressource électronique] : Altrincham, UK, April 8–10, 1987 Proceedings / edited by B. Banieqbal, H. Barringer, A. Pnueli. / Berlin, Heidelberg : Springer-Verlag , 1989


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance