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 - 5 results of 5 for search 'Manna, Zohar', query time: 0.01s Refine Results
  1. 1

    The temporal logic of reactive and concurrent systems / by Manna, Zohar

    Published 1992
    Publisher description
    Book
  2. 2

    The deductive foundations of computer programming / by Manna, Zohar

    Published 1993
    Book
  3. 3

    Temporal verification of reactive systems : safety / by Manna, Zohar

    Published 1995
    Book
  4. 4

    Studies in automatic programming logic / by Manna, Zohar, 1939-

    Published 1977
    Book
  5. 5

    The calculus of computation : decision procedures with applications to verification / by Bradley, Aaron R.

    Published 2007
    Other Authors: “…Manna, Zohar…”
    Table of contents
    Publisher description
    Book