Amir Pnueli (1941-2009)

Pays :Israël
Langue :anglais
Sexe :masculin
Naissance :Nahalal (Israël), 22-04-1941
Mort :New York, 02-11-2009
Note :
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)
Autres formes du nom :ʾAmiyr Pnwʾeliy (1941-2009) (hébreu)
אמיר פנואלי (1941-2009) (hébreu)
ISNI :ISNI 0000 0000 8386 4015

Ses activités

Auteur du texte1 document

  • Temporal verification of reactive systems

    safety

    Description matérielle : XVIII-512 p.
    Description : Note : Bibliogr. p. [465]-479. Index
    Édition : New York : Springer , cop. 1995
    Auteur du texte : Zohar Manna

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb37316170z]

Autre3 documents

  • Advances in Cryptology -- EUROCRYPT '88

    Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25-27, 1988 Proceedings

    Description matérielle : 1 online resource
    Description : Note : L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques
    Édition : Berlin, Heidelberg : Springer Verlag Berlin Heidelberg : Springer e-books , 1988

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb44691131q]
  • The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983

    Description matérielle : 1 online resource
    Édition : Berlin, Heidelberg : the United States Government : Springer e-books , 2005

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb44691702s]
  • Temporal Logic in Specification

    Altrincham, UK, April 8-10, 1987 Proceedings

    Description matérielle : 1 online resource
    Description : Note : L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques
    Édition : Berlin, Heidelberg : Springer-Verlag : Springer e-books , 1989

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb446916820]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

Autres formes du nom

  • ʾAmiyr Pnwʾeliy (1941-2009) (hébreu)
  • אמיר פנואלי (1941-2009) (hébreu)

Biographie Wikipedia

  • Amir Pnueli (hébreu : אמיר פנואלי) est un informaticien israélien né le 22 avril 1941 et mort le 2 novembre 2009 d'une hémorragie intra-cérébrale.Il a obtenu le Prix Turing et le Prix Israël.

Pages équivalentes