Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Buth, Karl-Heinz (VerfasserIn)
Format: Abschlussarbeit Buch
Sprache:English
Veröffentlicht: Kiel Inst. für Informatik und Praktische Math. 1994
Schriftenreihe:Institut für Informatik und Praktische Mathematik <Kiel>: Bericht 9414
Schlagworte:
Online-Zugang:Inhaltsverzeichnis
Beschreibung:191 S. graph. Darst.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis