Doktorarbeit,

Ein allgemeiner Ansatz zum Nachweis der Äquivalenz von denotationaler und operationaler Semantik bei Programmiersprachen.

.
Karlsruhe Institute of Technology, Germany, (1982)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen