Zohar Manna

Zohar Manna (1939 – 30 August 2018) was an Israeli-American computer scientist who was a professor of computer science at Stanford University. Provided by Wikipedia
Showing 1 - 8 results of 8 for search 'Manna, Zohar', query time: 0.02s Refine Results
  1. 1
    The Deductive foundations of computer programming
    by Manna, Zohar
    Published 1993
    Other Authors: “…Manna, Zohar…”
    Biblioteca Universitat Ramon Llull (Other Sources: Biblioteca Universidad de Deusto)
    Book
  2. 2
    The Logical basis for computer programming
    by Manna, Zohar
    Published 1985
    Other Authors: “…Manna, Zohar…”
    Biblioteca Universitat Ramon Llull (Other Sources: Biblioteca Universidad de Deusto)
    Book
  3. 3
    Temporal verification of reactive systems : safety
    by Manna, Zohar
    Published 1995
    Other Authors: “…Manna, Zohar…”
    Book
  4. 4
    The Temporal logic of reactive and concurrent systems
    by Manna, Zohar
    Published 1992
    Other Authors: “…Manna, Zohar…”
    Book
  5. 5
    Studies in automatic programming logic
    by Manna, Zohar
    Published 1977
    Other Authors: “…Manna, Zohar…”
    Book
  6. 6
    The logical basis for computer programming
    by Manna, Zohar
    Published 1985
    Other Authors: “…Manna, Zohar…”
    Biblioteca de la Universidad Pontificia de Salamanca (Other Sources: Biblioteca Universidad de Deusto)
    Book
  7. 7
    Mathematical theory of computation
    by Manna, Zohar
    Published 1974
    Other Authors: “…Manna, Zohar…”
    Biblioteca Universidad de Deusto (Other Sources: Biblioteca Universitat Ramon Llull, Biblioteca de la Universidad de Navarra)
    Book
  8. 8
    Calculus of computation : decision procedures with applications to verification
    by Bradley, Aaron R.
    Published 2007
    Other Authors:
    Book

Search Tools: