Bilaketaren emaitzak - Manna, Zohar

  • Erakusten 1 - 5 emaitzak -- 5
Findu emaitzak
  1. 1

    Mathematical theory of computation nork Manna, Zohar

    Argitaratua 1974
    Liburua


    Azala
  2. 2

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

    Argitaratua 1993
    Liburua


    Azala
  3. 3

    Mathematical theory of computation Zohar Manna. nork Manna, Zohar

    Argitaratua 1974
    Liburua


    Azala
  4. 4

    The logical basis for computer programming nork Manna, Zohar

    Argitaratua 1985
    Liburua


    Azala
  5. 5

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

    Argitaratua 2007
    Liburua


    Azala

Bilaketa egiteko lanabesak: