檢索結果 - Manna, Zohar

  • Showing 1 - 5 results of 5
Refine Results
  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
    圖書


    封面圖片

檢索工具: