Suchergebnisse - MacKinna, James

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

    Deliverables: a categorical approach to program development in type theory
    von MacKinna, James H.

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Deliverables: a categorical approach to program development in type theory
    von Burstall, Rod M., MacKinna, James

    Veröffentlicht 1992
    Buch


    Gespeichert in:

Suchwerkzeuge: