Treffer 1 – 13 von 13 für Suche 'Burstall, Rod M.', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Pop-2 papers

    Pop-2 papers von Burstall, Rod M., Collins, J. S., Burstall, Rod M., Popplestone, Robin J.

    Veröffentlicht 1968
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Hiding and behaviour an institutional approach

    Hiding and behaviour an institutional approach von Burstall, Rod M., Diaconescu, Răzvan

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Deliverables a categorical approach to program development in type theory

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    The unification of terms a category-theoretic algorithm

    The unification of terms a category-theoretic algorithm von Rydeheard, David E., Burstall, Rod M.

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A kernel language for modules and abstract data types

    A kernel language for modules and abstract data types von Burstall, Rod M., Lampson, B.

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Structured theories in LCF

    Structured theories in LCF von Sannella, Donald T., Burstall, Rod M.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Computational category theory

    Computational category theory von Rydeheard, David E., Burstall, Rod M.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A study in the foundations of programming methodology specifications, institutions, charters and parchments

    A study in the foundations of programming methodology specifications, institutions, charters and parchments von Goguen, Joseph 1941-2006, Burstall, Rod M. 1934-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Institutions abstract model theory for computer science

    Institutions abstract model theory for computer science von Goguen, Joseph 1941-2006, Burstall, Rod M.

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Algebras, theories and freeness an introduction for computer scientists

    Algebras, theories and freeness an introduction for computer scientists von Burstall, Rod M. 1934-, Goguen, Joseph 1941-2006

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    An experimental applicative language

    An experimental applicative language von Burstall, Rod M., MacQueen, D. B., Sannella, Donald T.

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    The semantics of Clear, a specification language

    The semantics of Clear, a specification language von Burstall, Rod M. 1934-, Goguen, Joseph 1941-2006

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Programming in pop-2

    Programming in pop-2 von Burstall, Rod M., Collins, John S., Popplestone, Robin J.

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: