Suchergebnisse - Manna, Zohar

  • Treffer 1 - 5 von 5
Treffer weiter einschränken
  1. 1

    Mathematical theory of computation von Manna, Zohar

    Veröffentlicht 1974
    Buch


    Buchumschlag
  2. 2

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

    Veröffentlicht 1993
    Buch


    Buchumschlag
  3. 3

    Mathematical theory of computation Zohar Manna. von Manna, Zohar

    Veröffentlicht 1974
    Buch


    Buchumschlag
  4. 4

    The logical basis for computer programming von Manna, Zohar

    Veröffentlicht 1985
    Buch


    Buchumschlag
  5. 5

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

    Veröffentlicht 2007
    Buch


    Buchumschlag

Suchwerkzeuge: