Showing 1 - 4 results of 4 for search '179321 Manna, Zohar', query time: 0.02s Refine Results
  1. 1
    Mathematical theory of computation /

    Mathematical theory of computation / by 179321 Manna, Zohar

    Published 1974
  2. 2
    The logical basis for computer programming /

    The logical basis for computer programming / by 179321 Manna, Zohar, Waldinger, Richard

    Published 1985
  3. 3
    Temporal verification of reactive systems : safety /

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

    Published 1995
  4. 4
    Studies in automatic programming logic /

    Studies in automatic programming logic / by 179321 Manna, Zohar, Waldinger, Richard

    Published 1977

Search Tools: