Treffer 1 – 6 von 6 für Suche 'Plotkin, Gordon D.', Suchdauer: 0,05s 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
    On proving limiting completeness

    On proving limiting completeness von Mosses, Peter D. 1948-, Plotkin, Gordon D.

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Countable nondeterminism and random assignment

    Countable nondeterminism and random assignment von Apt, Krzysztof R. 1949-, Plotkin, Gordon D.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    The category-theoretic solution of recursive domain equations

    The category-theoretic solution of recursive domain equations von Smyth, M. B., Plotkin, Gordon D.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A structural approach to operational semantics

    A structural approach to operational semantics von Plotkin, Gordon D.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    An operational semantics for CSP

    An operational semantics for CSP von Plotkin, Gordon D.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Countable nondeterminism and random assignment

    Countable nondeterminism and random assignment von Apt, Krzysztof R. 1949-, Plotkin, Gordon D.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: