Search Results - Manna, Zohar

  • Showing 1 - 5 results of 5
Refine Results
  1. 1

    Mathematical theory of computation by Manna, Zohar

    Published 1974
    Book


    Cover Image
  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


    Cover Image
  3. 3

    Mathematical theory of computation Zohar Manna. by Manna, Zohar

    Published 1974
    Book


    Cover Image
  4. 4

    The logical basis for computer programming by Manna, Zohar

    Published 1985
    Book


    Cover Image
  5. 5

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

    Published 2007
    Book


    Cover Image

Search Tools: