Showing 1 - 5 results of 5 for search 'Manna, Zohar', query time: 0.01s Refine Results
  1. 1

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

    Published 2007
    Book

    The calculus of computation decision procedures with applications to verification
  2. 2

    The deductive foundations of computer programming a one-volume version of the logical basis for computer programming by Manna, Zohar

    Published 1993
    Book

    The deductive foundations of computer programming a one-volume version of the logical basis for computer programming
  3. 3

    The logical basis for computer programming by Manna, Zohar

    Published 1985
    Book

    The logical basis for computer programming
  4. 4

    Mathematical theory of computation Zohar Manna. by Manna, Zohar

    Published 1974
    Book

    Mathematical theory of computation Zohar Manna.
  5. 5

    Mathematical theory of computation by Manna, Zohar

    Published 1974
    Book

    Mathematical theory of computation

Search Tools: