Zohar Manna

Langue :anglais
Note :
Informaticien et mathématicien. - En poste à Stanford university, Californie, USA (en 1980). - En poste à l'Institut Weizmann des sciences, Rehovot, Israël (en 1980)
ISNI :ISNI 0000 0000 8163 7740

Ses activités

Auteur du texte3 documents

  • Calculus of computation

    decision procedures with applications to verification

    Description matérielle : 1 vol. (XV-366 p.)
    Description : Note : Bibliogr. p.351-355
    Édition : Berlin : Springer , 2007
    Autre auteur du texte : Aaron R. Bradley

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb41149312m]
  • Lectures on the logic of computer programming

    Description matérielle : IV-49 p.
    Description : Note : Contient les interventions données par l'auteur au cours d'une conférence régionale organisée au Rensselaer polytechnic institute, Troy, N.Y., USA. - Bibliogr. p. 49
    Édition : Philadelphia (Pa.) : Society for industrial and applied mathematics , 1980

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb37373828m]
  • 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
    Autre auteur du texte : Amir Pnueli (1941-2009)

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

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

  • Lectures on the logic of computer programming / Zohar Manna, 1980
  • LCNA (CD OCLC), 1993-12
    Encyclopedic dictionary of mathematics, 1987 : Manna, Zohar, 1939-

Biographie Wikipedia

  • Zohar Manna, né le 17 janvier 1939 à Haïfa, est un informaticien israélo-américain. Il est professeur à l'université Stanford. Il est réputé comme l'auteur du livre The Mathematical Theory of Computation, qui est l'un des premiers ouvrages à développer les concepts mathématiques qui sont à la base de la programmation en informatique.

Pages équivalentes