Suggested Topics within your search.
Showing 1 - 5 results of 5 for search '"Zohar Manna"', query time: 0.11s Refine Results
  1. 1
    Studies in automatic programming logic /

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

    Published 1977
    Book
  2. 2
    The deductive foundations of computer programming /

    The deductive foundations of computer programming / by Manna, Zohar

    Published 1993
    Book
  3. 3
    The temporal logic of reactive and concurrent systems /

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

    Published 1992
    Publisher description
    Book
  4. 4
    Temporal verification of reactive systems : safety /

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

    Published 1995
    Book
  5. 5
    The calculus of computation : decision procedures with applications to verification /

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

    Published 2007
    Table of contents
    Publisher description
    Book

Search Tools: