Treffer 1 – 7 von 7 für Suche 'Mosses, Peter D. 1948-', 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
    The mathematical semantics of ALGOL 60

    The mathematical semantics of ALGOL 60 von Mosses, Peter D. 1948-

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Action semantics

    Action semantics von Mosses, Peter D. 1948-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Mathematical semantics and compiler generation

    Mathematical semantics and compiler generation von Mosses, Peter D. 1948-

    Veröffentlicht 1975
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    CASL user manual introduction to using the common algebraic specification language

    CASL user manual introduction to using the common algebraic specification language von Bidoit, Michel, Mosses, Peter D. 1948-

    Veröffentlicht 2004
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Semantic domains and denotational semantics [working material for the lectures of Dana S. Scott, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - Aug. 6, 1989]

    Semantic domains and denotational semantics [working material for the lectures of Dana S. Scott, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germa... von Gunter, Carl A., Mosses, Peter D. 1948-, Scott, Dana S. 1932-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Eelco Visser Commemorative Symposium EVCS 2023, April 5, 2023, Delft, The Netherlands

    Eelco Visser Commemorative Symposium EVCS 2023, April 5, 2023, Delft, The Netherlands

    Veröffentlicht 2023
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: