Suchergebnisse - Mosses, Peter D. 1948-

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

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

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2004
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Action semantics
    von Mosses, Peter D. 1948-

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1975
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1974
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    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]
    von Gunter, Carl A., Mosses, Peter D. 1948-, Scott, Dana S. 1932-

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Mosses, Peter D. 1948- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: