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 - 4 results of 4 for search 'Manna , Zohar', query time: 0.02s Refine Results
  1. 1
    Mathematical theory of computation/
    by Manna, Zohar
    Published 1974
    Printed Book
  2. 2
    The Temporal logic of reactive and concurrent systems
    by Manna, Zohar, Pnueli, Amir
    Published 1992
    Printed Book
  3. 3
    The calculus of computation: decision procedures with appliciations to verification/
    by Bradley, Aron R
    Published 2007
    Other Authors: “...Manna Zohar...”
    Printed Book
  4. 4
    Calculus of computation Decision procedures with applications to verification /
    by Bradley, Aaron R.
    Published 2007
    Other Authors: “...Manna , Zohar...”
Search Tools: Get RSS Feed — Email this Search