Showing 1 - 3 results of 3 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

    Mathematical theory of computation Zohar Manna. by Manna, Zohar

    Published 1974
    Book

    Mathematical theory of computation Zohar Manna.

Search Tools: