Showing 1 - 3 results of 3 for search 'Manna, Zohar', सवाल का समय: 0.01सेकंड परिणाम को परिष्कृत करें
  1. 1

    The calculus of computation decision procedures with applications to verification द्वारा Bradley, Aaron R.

    प्रकाशित 2007
    पुस्तक

    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 द्वारा Manna, Zohar

    प्रकाशित 1993
    पुस्तक

    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. द्वारा Manna, Zohar

    प्रकाशित 1974
    पुस्तक

    Mathematical theory of computation Zohar Manna.

खोज साधन: