نتائج البحث - Manna, Zohar

  • يعرض 1 - 5 نتائج من 5
تنقيح النتائج
  1. 1

    Mathematical theory of computation حسب Manna, Zohar

    منشور في 1974
    كتاب
  2. 2

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

    منشور في 1993
    كتاب
  3. 3

    Mathematical theory of computation Zohar Manna. حسب Manna, Zohar

    منشور في 1974
    كتاب
  4. 4

    The logical basis for computer programming حسب Manna, Zohar

    منشور في 1985
    كتاب
  5. 5

    The calculus of computation decision procedures with applications to verification حسب Bradley, Aaron R.

    منشور في 2007
    كتاب