Suchergebnisse - Levin, Gary

  • Treffer 1 – 7 von 7
Treffer filtern
  1. 1
    Buchumschlag

    Computing a Fibonacci number in log time
    von Gries, David, Levin, Gary

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Proof rules for communicating sequential processes
    von Levin, Gary M.

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Learning discrete mathematics with ISETL
    von Baxter, Nancy, Dubinsky, Ed, Levin, Gary

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    A procedure call proof rule: (with a simple explanation)
    von Gries, David, Levin, Gary

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    A proof technique for communicating sequential processes: (with an example)
    von Levin, Gary M.

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Learning discrete mathematics with ISETL
    von Baxter Hastings, Nancy, Dubinsky, Ed, Levin, Gary

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Proof rules for communicating sequential processes
    von Levin, Gary M.

    Veröffentlicht 1980
    Hochschulschrift/Dissertation Microform Buch


    Gespeichert in:

Suchwerkzeuge: